15 results
Finitely generated free Heyting algebras: the well-founded initial segment
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1291-1307
- Print publication:
- December 2012
-
- Article
- Export citation
Cycle-types in the automorphism groups of countable homogeneous graphs
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 151 / Issue 1 / July 2011
- Published online by Cambridge University Press:
- 07 April 2011, pp. 23-41
- Print publication:
- July 2011
-
- Article
- Export citation
On notions of genericity and mutual genericity
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-766
- Print publication:
- September 2007
-
- Article
- Export citation
THE SMALL INDEX PROPERTY FOR COUNTABLE 1-TRANSITIVE LINEAR ORDERS
-
- Journal:
- Glasgow Mathematical Journal / Volume 47 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 31 January 2005, pp. 69-75
- Print publication:
- January 2005
-
- Article
-
- You have access
- Export citation
Hydrodynamic Modelling of Accretion Flows
-
- Journal:
- International Astronomical Union Colloquium / Volume 194 / 2004
- Published online by Cambridge University Press:
- 22 February 2018, pp. 166-168
- Print publication:
- 2004
-
- Article
-
- You have access
- Export citation
Recovering ordered structures from quotients of their automorphism groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1189-1198
- Print publication:
- December 2003
-
- Article
- Export citation
Non-well-foundedness of well-orderable power sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 879-884
- Print publication:
- September 2003
-
- Article
- Export citation
On computable automorphisms of the rational numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1458-1470
- Print publication:
- September 2001
-
- Article
- Export citation
The independence of the Prime Ideal Theorem from the Order-Extension Principle
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 199-215
- Print publication:
- March 1999
-
- Article
- Export citation
The structure of k-CS-transitive cycle-free partial orders with infinite chains
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 126 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 175-194
- Print publication:
- January 1999
-
- Article
- Export citation
Betweenness relations and cycle-free partial orders
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 119 / Issue 4 / May 1996
- Published online by Cambridge University Press:
- 24 October 2008, pp. 631-643
- Print publication:
- May 1996
-
- Article
- Export citation
33 - Infinite simple permutation groups - a survey
-
-
- Book:
- Groups St Andrews 1989
- Published online:
- 13 March 2010
- Print publication:
- 21 March 1991, pp 463-484
-
- Chapter
- Export citation
The Failure of Cancellation Laws for Equidecomposability Types
-
- Journal:
- Canadian Journal of Mathematics / Volume 42 / Issue 4 / 01 August 1990
- Published online by Cambridge University Press:
- 20 November 2018, pp. 590-606
- Print publication:
- 01 August 1990
-
- Article
-
- You have access
- Export citation
The group of almost automorphisms of the countable universal graph
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 105 / Issue 2 / March 1989
- Published online by Cambridge University Press:
- 24 October 2008, pp. 223-236
- Print publication:
- March 1989
-
- Article
- Export citation
The group of the countable universal graph
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 98 / Issue 2 / September 1985
- Published online by Cambridge University Press:
- 24 October 2008, pp. 213-245
- Print publication:
- September 1985
-
- Article
- Export citation