Enayat, Ali; Schmerl, James H. The Barwise-Schlipf theorem. (English) Zbl 1459.03049 Proc. Am. Math. Soc. 149, No. 1, 413-416 (2021). Reviewer: Roman Kossak (New York) MSC: 03C62 03C50 03H15 PDFBibTeX XMLCite \textit{A. Enayat} and \textit{J. H. Schmerl}, Proc. Am. Math. Soc. 149, No. 1, 413--416 (2021; Zbl 1459.03049) Full Text: DOI arXiv
Schmerl, James H. Submodel lattices of existentially closed models of arithmetic. (English) Zbl 1429.03145 Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 153-170 (2016). MSC: 03C62 03F30 03C45 PDFBibTeX XMLCite \textit{J. H. Schmerl}, CSLI Lect. Notes 217, 153--170 (2016; Zbl 1429.03145)
Marker, David; Schmerl, James H.; Steinhorn, Charles Uncountable real closed fields with PA integer parts. (English) Zbl 1358.03041 J. Symb. Log. 80, No. 2, 490-502 (2015). Reviewer: Roman Kossak (New York) MSC: 03C50 03C62 03F30 03C60 03H15 PDFBibTeX XMLCite \textit{D. Marker} et al., J. Symb. Log. 80, No. 2, 490--502 (2015; Zbl 1358.03041) Full Text: DOI arXiv
Schmerl, James H. Cofinal elementary extensions. (English) Zbl 1325.03040 Math. Log. Q. 60, No. 1-2, 12-20 (2014). Reviewer: Roman Kossak (New York) MSC: 03C64 03C62 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Math. Log. Q. 60, No. 1--2, 12--20 (2014; Zbl 1325.03040) Full Text: DOI
Schmerl, James H. Reverse mathematics and Grundy colorings of graphs. (English) Zbl 1206.03013 Math. Log. Q. 56, No. 5, 541-548 (2010). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 05C15 05C85 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Math. Log. Q. 56, No. 5, 541--548 (2010; Zbl 1206.03013) Full Text: DOI
Schmerl, James H. Nondiversity in substructures. (English) Zbl 1141.03014 J. Symb. Log. 73, No. 1, 193-211 (2008). Reviewer: Roman Kossak (New York) MSC: 03C62 03F30 03H15 PDFBibTeX XMLCite \textit{J. H. Schmerl}, J. Symb. Log. 73, No. 1, 193--211 (2008; Zbl 1141.03014) Full Text: DOI Euclid
Schmerl, James H. Undecidable theories and reverse mathematics. (English) Zbl 1083.03054 Simpson, Stephen G. (ed.), Reverse mathematics 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-263-9/hbk; 1-56881-264-7/pbk). Lecture Notes in Logic 21, 349-351 (2005). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 03D35 03B25 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Lect. Notes Log. 21, 349--351 (2005; Zbl 1083.03054)
Schmerl, James H. Reverse mathematics and graph coloring: eliminating diagonalization. (English) Zbl 1083.03053 Simpson, Stephen G. (ed.), Reverse mathematics 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-263-9/hbk; 1-56881-264-7/pbk). Lecture Notes in Logic 21, 331-348 (2005). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 05C15 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Lect. Notes Log. 21, 331--348 (2005; Zbl 1083.03053)
Schmerl, James H. Graph coloring and reverse mathematics. (English) Zbl 0963.03079 Math. Log. Q. 46, No. 4, 543-548 (2000). Reviewer: Jeffry L.Hirst (Boone) MSC: 03F35 05C15 03D45 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Math. Log. Q. 46, No. 4, 543--548 (2000; Zbl 0963.03079) Full Text: DOI
Schmerl, J. H. Rather classless, highly saturated models of Peano arithmetic. (English) Zbl 0917.03020 Larrazabal, J. M. (ed.) et al., Logic colloquium ’96. Proceedings of the colloquium, San Sebastián, Spain, July 9–15, 1996. Berlin: Springer. Lect. Notes Log. 12, 237-246 (1998). Reviewer: R.Kossak (New York) MSC: 03C62 03F30 03C50 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Lect. Notes Log. 12, 237--246 (1998; Zbl 0917.03020)
Schmerl, James H. \(\text{PA} (aa)\). (English) Zbl 0848.03018 Notre Dame J. Formal Logic 36, No. 4, 560-569 (1995). Reviewer: R.Kossak (New York) MSC: 03C62 03F35 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Notre Dame J. Formal Logic 36, No. 4, 560--569 (1995; Zbl 0848.03018) Full Text: DOI
Schmerl, James H. A weakly definable type which is not definable. (English) Zbl 0796.03042 Arch. Math. Logic 32, No. 6, 463-468 (1993). Reviewer: A.Enayat (Washington) MSC: 03C62 03F30 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Arch. Math. Logic 32, No. 6, 463--468 (1993; Zbl 0796.03042) Full Text: DOI
Keisler, H. Jerome; Schmerl, James H. Making the hyperreal line both saturated and complete. (English) Zbl 0747.03032 J. Symb. Log. 56, No. 3, 1016-1025 (1991). MSC: 03H05 03F35 03E30 PDFBibTeX XMLCite \textit{H. J. Keisler} and \textit{J. H. Schmerl}, J. Symb. Log. 56, No. 3, 1016--1025 (1991; Zbl 0747.03032) Full Text: DOI
Schmerl, James H. Peano arithmetic and hyper-Ramsey logic. (English) Zbl 0626.03030 Trans. Am. Math. Soc. 296, 481-505 (1986). Reviewer: K.Potthoff MSC: 03C62 03C80 03C85 03F35 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Trans. Am. Math. Soc. 296, 481--505 (1986; Zbl 0626.03030) Full Text: DOI
Schmerl, James H.; Simpson, Stephen G. On the role of Ramsey quantifiers in first order arithmetic. (English) Zbl 0492.03015 J. Symb. Log. 47, 423-435 (1982). MSC: 03C80 03F30 03B25 03C10 03C62 PDFBibTeX XMLCite \textit{J. H. Schmerl} and \textit{S. G. Simpson}, J. Symb. Log. 47, 423--435 (1982; Zbl 0492.03015) Full Text: DOI