14 results
DISJUNCTIONS WITH STOPPING CONDITIONS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 05 January 2021, pp. 231-253
- Print publication:
- September 2021
-
- Article
- Export citation
Satisfaction classes and automorphisms of models of PA
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 159-170
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp i-vi
-
- Chapter
- Export citation
Set Theory, Arithmetic, and Foundations of Mathematics
- Theorems, Philosophies
-
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011
Contents
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp vii-viii
-
- Chapter
- Export citation
Introduction
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp ix-xiv
-
- Chapter
- Export citation
The Complexity of Classification Problems for Models of Arithmetic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 345-358
- Print publication:
- September 2010
-
- Article
- Export citation
James H. Schmerl. Peano models with many generic classes. Pacific Journal of Mathematics, vol. 43 (1973), pp. 523–536. - James H. Schmerl. Correction to: “Peano models with many generic classes”. Pacific Journal of Mathematics, vol. 92 (1981), no. 1, pp. 195–198. - James H. Schmerl. Recursively saturated, rather classless models of Peano arithmetic. Logic Year 1979–80. Recursively saturated, rather classless models of Peano arithmetic. Logic Year 1979–80 (Proceedings, Seminars, and Conferences in Mathematical Logic, University of Connecticut, Storrs, Connecticut, 1979/80). edited by M. Lerman, J. H. Schmerl, and R. I. Soare, Lecture Notes in Mathematics, vol. 859. Springer, Berlin, pp. 268–282. - James H. Schmerl. Recursively saturatedmodels generated by indiscernibles. Notre Dane Journal of Formal Logic, vol. 26 (1985), no. 1, pp. 99–105. - James H. Schmerl. Large resplendent models generated by indiscernibles. The Journal of Symbolic Logic, vol. 54 (1989), no. 4, pp. 1382–1388. - James H. Schmerl. Automorphism groups of models of Peano arithmetic. The Journal of Symbolic Logic, vol. 67 (2002), no. 4, pp. 1249–1264. - James H. Schmerl. Diversity in substructures. Nonstandard models of arithmetic and set theory. edited by A. Enayat and R. Kossak, Contemporary Mathematics, vol. 361, American Mathematical Societey (2004), pp. 45–161. - James H. Schmerl. Generic automorphisms and graph coloring. Discrete Mathematics, vol. 291 (2005), no. 1–3, pp. 235–242. - James H. Schmerl. Nondiversity in substructures. The Journal of Symbolic Logic, vol. 73 (2008), no. 1, pp. 193–211.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 222-227
- Print publication:
- June 2009
-
- Article
- Export citation
The Notre Dame Lectures, edited by Peter Cholak, Lecture Notes in Logic, vol. 18. Association for Symbolic Logic, A K Peters, Ltd., Wellesley, Massachusetts, 2005, vii + 185 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 605-607
- Print publication:
- December 2006
-
- Article
- Export citation
Arithmetic saturation
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 296-302
-
- Chapter
- Export citation
A note on the multiplicative semigroup of models of Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 936-940
- Print publication:
- September 1989
-
- Article
- Export citation
Models with the ω-property
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-189
- Print publication:
- March 1989
-
- Article
- Export citation
Open days in set theory and arithmetic, Jachranka, Poland, 1986
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 888-894
- Print publication:
- September 1987
-
- Article
- Export citation
A certain class of models of Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 311-320
- Print publication:
- June 1983
-
- Article
- Export citation