37 results
THE PENTAGON AS A SUBSTRUCTURE LATTICE OF MODELS OF PEANO ARITHMETIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 January 2024, pp. 1-20
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ACCEPTABLE COLORINGS OF INDEXED HYPERSPACES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 21 December 2018, pp. 1644-1666
- Print publication:
- December 2018
-
- Article
- Export citation
DECIDING THE CHROMATIC NUMBERS OF ALGEBRAIC HYPERGRAPHS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 01 May 2018, pp. 128-145
- Print publication:
- March 2018
-
- Article
- Export citation
Rather Classless, Highly Saturated Models of Peano Arithmetic
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 237-246
-
- Chapter
- Export citation
AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 22 December 2015, pp. 1411-1434
- Print publication:
- December 2015
-
- Article
- Export citation
UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 490-502
- Print publication:
- June 2015
-
- Article
- Export citation
AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 25 June 2014, pp. 561-584
- Print publication:
- June 2014
-
- Article
- Export citation
A generalization of Sierpiński's paradoxical decompositions: Coloring semialgebraic grids
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1165-1183
- Print publication:
- December 2012
-
- Article
- Export citation
ω-models of finite set theory
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 43-65
-
- Chapter
- Export citation
Tennenbaum's theorem and recursive reducts
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 112-149
-
- Chapter
- Export citation
Infinite substructure lattices of models of Peano Arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1366-1382
- Print publication:
- December 2010
-
- Article
- Export citation
Nondiversity in substructures
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-211
- Print publication:
- March 2008
-
- Article
- Export citation
Undecidable theories and reversemathematics
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 349-351
-
- Chapter
- Export citation
Reverse mathematics and graph coloring: eliminating diagonalization
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 331-348
-
- Chapter
- Export citation
Partitioning large vector spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1171-1180
- Print publication:
- December 2003
-
- Article
- Export citation
Some highly saturated models of Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1265-1273
- Print publication:
- December 2002
-
- Article
- Export citation
Automorphism groups of models of Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1249-1264
- Print publication:
- December 2002
-
- Article
- Export citation
Countable partitions of Euclidean space
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 120 / Issue 1 / July 1996
- Published online by Cambridge University Press:
- 24 October 2008, pp. 07-12
- Print publication:
- July 1996
-
- Article
- Export citation
A reflection principle and its applications to nonstandard models
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1137-1152
- Print publication:
- December 1995
-
- Article
- Export citation
The isomorphism property for nonstandard universes
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 512-516
- Print publication:
- June 1995
-
- Article
- Export citation