Schmerl, James H. The automorphism group of a resplendent model. (English) Zbl 1251.03039 Arch. Math. Logic 51, No. 5-6, 647-649 (2012). Reviewer: Roman Kossak (New York) MSC: 03C50 03B25 20F10 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Arch. Math. Logic 51, No. 5--6, 647--649 (2012; Zbl 1251.03039) Full Text: DOI arXiv
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)
Barwise, J. (ed.); Feferman, S. (ed.) [Feferman, S.; Barwise, J.; Ebbinghaus, H.-D.; Flum, J.; Kaufmann, M.; Schmerl, J. H.; Mundici, D.; Baudisch, A.; Seese, D.; Tuschik, P.; Weese, M.; Nadel, M.; Dickmann, M. A.; Kolaitis, Ph. G.; Eklof, P. C.; Baldwin, J.; Gurevich, Y.; Keisler, H. J.; Ziegler, M.; Steinhorn, C. I.; Väänänen, J.; Makowsky, J. A.; Scott, D. S.; McCarty, D. C.; Horty, J. F.] Model-theoretic logics. (Parts D-F). (English) Zbl 0587.03002 Perspectives in Mathematical Logic. New York etc.: Springer-Verlag. XVIII, 893 p. DM 480.00 (1985). Reviewer: D. Mundici MSC: 03-02 03C70 03C95 03C80 03C52 03-06 03B25 03C40 03B15 03B48 03C60 03C85 PDFBibTeX XML
Barwise, J. (ed.); Feferman, S. (ed.) [Feferman, S.; Barwise, J.; Ebbinghaus, H.-D.; Flum, J.; Kaufmann, M.; Schmerl, J. H.; Mundici, D.; Baudisch, A.; Seese, D.; Tuschik, P.; Weese, M.; Nadel, M.; Dickmann, M. A.; Kolaitis, Ph. G.; Eklof, P. C.; Baldwin, J.; Gurevich, Y.; Keisler, H. J.; Ziegler, M.; Steinhorn, C. I.; Väänänen, J.; Makowsky, J. A.; Scott, D. S.; McCarty, D. C.; Horty, J. F.] Model-theoretic logics. (Parts A-C). (English) Zbl 0587.03001 Perspectives in Mathematical Logic. New York etc.: Springer-Verlag. XVIII, 893 p. DM 480.00 (1985). Reviewer: D.Mundici MSC: 03-02 03C70 03C95 03C80 03C52 03-06 03B25 03C40 03B15 03B48 03C60 03C85 PDFBibTeX XML
Schmerl, James H. \(\aleph _ 0\)-categorical partially ordered sets. (English) Zbl 0551.03017 Orders: description and roles, Proc. Conf. Ordered sets appl., l’Arbresle/France 1982, Ann. Discrete Math. 23, 269-285 (1984). Reviewer: R.Murawski MSC: 03C35 06A06 PDFBibTeX XML
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
Schmerl, James H. Arborescent structures. II: Interpretability in the theory of trees. (English) Zbl 0475.03014 Trans. Am. Math. Soc. 266, 629-643 (1981). MSC: 03C65 03C35 03B25 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Trans. Am. Math. Soc. 266, 629--643 (1981; Zbl 0475.03014) Full Text: DOI
Schmerl, James H. Decidability and finite axiomatizability of theories of \(\aleph_0\)-categorical partially ordered sets. (English) Zbl 0475.03010 J. Symb. Log. 46, 101-120 (1981). MSC: 03C35 03C15 06A06 03C65 03B25 PDFBibTeX XMLCite \textit{J. H. Schmerl}, J. Symb. Log. 46, 101--120 (1981; Zbl 0475.03010) Full Text: DOI
Schmerl, James H. A decidable \(\aleph_0\)-categorical theory with a non-recursive Ryll- Nardzewski function. (English) Zbl 0372.02025 Fundam. Math. 98, 121-125 (1978). MSC: 03C35 03B25 03C68 03D30 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Fundam. Math. 98, 121--125 (1978; Zbl 0372.02025) Full Text: DOI EuDML
Schmerl, James H. On \(\aleph_0\)-categoricity and the theory of trees. (English) Zbl 0352.02036 Fundam. Math. 94, 121-128 (1977). MSC: 03C35 03B25 03C60 03B99 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Fundam. Math. 94, 121--128 (1977; Zbl 0352.02036) Full Text: DOI EuDML
Schmerl, James H. The decidability of some \(\aleph_0\)-categorical theories. (English) Zbl 0362.02035 Colloq. Math. 36, 165-169 (1976). MSC: 03B25 03C35 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Colloq. Math. 36, 165--169 (1976; Zbl 0362.02035) Full Text: DOI
Garfunkel, Solomon; Schmerl, James H. The undecidability of theories of groupoids with an extra predicate. (English) Zbl 0273.02032 Proc. Am. Math. Soc. 42, 286-289 (1974). MSC: 03B25 20L05 PDFBibTeX XMLCite \textit{S. Garfunkel} and \textit{J. H. Schmerl}, Proc. Am. Math. Soc. 42, 286--289 (1974; Zbl 0273.02032) Full Text: DOI
Garfunkel, Solomon; Schmerl, James H. The undecidability of theories of groupoids with an extra predicate. (English) Zbl 0253.02048 Proc. Am. Math. Soc. 42, 286-289 (1974). MSC: 03B25 20L05 PDFBibTeX XMLCite \textit{S. Garfunkel} and \textit{J. H. Schmerl}, Proc. Am. Math. Soc. 42, 286--289 (1974; Zbl 0253.02048) Full Text: DOI