Welcome to the library, our central repository for references cited here on Peano's parlour.
- Samuel Coskey and Roman Kossak. The complexity of classification problems for models of arithmetic. Bull. Symbolic Logic 16(3):345--358, 2010. www MR bibtex
@article {coskeykossak2010:thecomplexity,
AUTHOR = {Coskey, Samuel and Kossak, Roman},
TITLE = {The complexity of classification problems for models of arithmetic},
JOURNAL = {Bull. Symbolic Logic},
FJOURNAL = {Bulletin of Symbolic Logic},
VOLUME = {16},
YEAR = {2010},
NUMBER = {3},
PAGES = {345--358},
ISSN = {1079-8986},
MRCLASS = {03C62 (03E15 03H15)},
MRNUMBER = {2731248 (2011k:03071)},
MRREVIEWER = {Thomas McLaughlin},
URL = {http://projecteuclid.org/getRecord?id=euclid.bsl/1286284557},
}
- Grégory Duby. Automorphisms with only infinite orbits on non-algebraic elements. Arch. Math. Logic 42(5):435--447, 2003. www DOI MR bibtex
@article {duby2003:automorphisms,
AUTHOR = {Duby, Gr{\\'e}gory},
TITLE = {Automorphisms with only infinite orbits on non-algebraic elements},
JOURNAL = {Arch. Math. Logic},
FJOURNAL = {Archive for Mathematical Logic},
VOLUME = {42},
YEAR = {2003},
NUMBER = {5},
PAGES = {435--447},
ISSN = {0933-5846},
CODEN = {AMLOEH},
MRCLASS = {03C50 (03C57)},
MRNUMBER = {1990734 (2004e:03068)},
MRREVIEWER = {H. Dugald Macpherson},
DOI = {10.1007/s00153-002-0146-y},
URL = {http://dx.doi.org/10.1007/s00153-002-0146-y},
}
- Fredrik Engström. A note on standard systems and ultrafilters. J. Symbolic Logic 73(3):824--830, 2008. www DOI MR bibtex
@article {engstrom2008:anote,
AUTHOR = {Engstr{\"o}m, Fredrik},
TITLE = {A note on standard systems and ultrafilters},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {Journal of Symbolic Logic},
VOLUME = {73},
YEAR = {2008},
NUMBER = {3},
PAGES = {824--830},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03C62 (03C20 03C57)},
MRNUMBER = {2444270 (2009i:03030)},
DOI = {10.2178/jsl/1230396749},
URL = {http://dx.doi.org/10.2178/jsl/1230396749},
}
- Harvey Friedman. One hundred and two problems in mathematical logic. J. Symbolic Logic 40:113--129, 1975. MR bibtex
@article {friedman1975:onehundred,
AUTHOR = {Friedman, Harvey},
TITLE = {One hundred and two problems in mathematical logic},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {40},
YEAR = {1975},
PAGES = {113--129},
ISSN = {0022-4812},
MRCLASS = {02-02},
MRNUMBER = {0369018 (51 \#5254)},
MRREVIEWER = {Andreas Blass},
}
- Su Gao. Invariant descriptive set theory. Vol. 293, CRC Press, Boca Raton, FL, 2009. MR bibtex
@book {gao2009:invariant,
AUTHOR = {Gao, Su},
TITLE = {Invariant descriptive set theory},
SERIES = {Pure and Applied Mathematics (Boca Raton)},
VOLUME = {293},
PUBLISHER = {CRC Press},
ADDRESS = {Boca Raton, FL},
YEAR = {2009},
PAGES = {xiv+383},
ISBN = {978-1-58488-793-5},
MRCLASS = {03-02 (03E15 22E05 28A05 28D05 37A20 54A35)},
MRNUMBER = {2455198 (2011b:03001)},
MRREVIEWER = {{\\'E}tienne Matheron},
}
- Haim Gaifman. Models and types of Peano's arithmetic. Ann. Math. Logic 9(3):223--306, 1976. MR bibtex
@article {gaifman1976:models,
AUTHOR = {Gaifman, Haim},
TITLE = {Models and types of Peano\'s arithmetic},
JOURNAL = {Ann. Math. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {9},
YEAR = {1976},
NUMBER = {3},
PAGES = {223--306},
ISSN = {0168-0072},
MRCLASS = {02H05},
MRNUMBER = {0406791 (53 \#10577)},
MRREVIEWER = {S. R. Kogalovskii},
}
- Victoria Gitman. Scott's problem for proper Scott sets. J. Symbolic Logic 73(3):845--860, 2008. www DOI MR bibtex
@article {gitman2008:scott,
AUTHOR = {Gitman, Victoria},
TITLE = {Scott\'s problem for proper Scott sets},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {Journal of Symbolic Logic},
VOLUME = {73},
YEAR = {2008},
NUMBER = {3},
PAGES = {845--860},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03C62 (03E65)},
MRNUMBER = {2444272 (2009f:03047)},
MRREVIEWER = {Roman Kossak},
DOI = {10.2178/jsl/1230396751},
URL = {http://dx.doi.org/10.2178/jsl/1230396751},
}
- Wilfrid Hodges. Building models by games. Vol. 2, Cambridge University Press, Cambridge, 1985. MR bibtex
@book {hodges1985:building,
AUTHOR = {Hodges, Wilfrid},
TITLE = {Building models by games},
SERIES = {London Mathematical Society Student Texts},
VOLUME = {2},
PUBLISHER = {Cambridge University Press},
ADDRESS = {Cambridge},
YEAR = {1985},
PAGES = {vi+311},
ISBN = {0-521-26897-4; 0-521-31716-9},
MRCLASS = {03C30 (03-01 03Cxx)},
MRNUMBER = {812274 (87h:03045)},
MRREVIEWER = {John T. Baldwin},
}
- Emil Jeřábek and Leszek Aleksander Kołodziejczyk. Real closures of models of weak arithmetic. Arch. Math. Logic 52(1-2):143--157, 2013. www DOI MR bibtex
@article {MR3017281,
AUTHOR = {Je{\v{r}}{\\'a}bek, Emil and Ko{\l}odziejczyk, Leszek Aleksander},
TITLE = {Real closures of models of weak arithmetic},
JOURNAL = {Arch. Math. Logic},
FJOURNAL = {Archive for Mathematical Logic},
VOLUME = {52},
YEAR = {2013},
NUMBER = {1-2},
PAGES = {143--157},
ISSN = {0933-5846},
CODEN = {AMLOEH},
MRCLASS = {03F30 (03C62)},
MRNUMBER = {3017281},
DOI = {10.1007/s00153-012-0311-x},
URL = {http://dx.doi.org.ezproxy.gc.cuny.edu/10.1007/s00153-012-0311-x},
}
- Vladimir Kanovei. On "star" schemata of Kossak and Paris. Logic Colloquium '96 (San Sebastián)12:101--114, Berlin, 1998. MR bibtex
@incollection {kanovei1998:onstar,
AUTHOR = {Kanovei, Vladimir},
TITLE = {On "star\'\' schemata of Kossak and Paris},
BOOKTITLE = {Logic Colloquium \'96 (San Sebasti{\\'a}n)},
SERIES = {Lecture Notes Logic},
VOLUME = {12},
PAGES = {101--114},
PUBLISHER = {Springer},
ADDRESS = {Berlin},
YEAR = {1998},
MRCLASS = {03F35 (03C62)},
MRNUMBER = {1674945 (2000f:03179)},
MRREVIEWER = {Roman Kossak},
}
- Matt Kaufmann. A rather classless model. Proc. Amer. Math. Soc. 62(2):330--333, 1977. MR bibtex
@article {kaufmann1977:arather,
AUTHOR = {Kaufmann, Matt},
TITLE = {A rather classless model},
JOURNAL = {Proc. Amer. Math. Soc.},
FJOURNAL = {Proceedings of the American Mathematical Society},
VOLUME = {62},
YEAR = {1977},
NUMBER = {2},
PAGES = {330--333},
ISSN = {0002-9939},
MRCLASS = {02H20},
MRNUMBER = {0476498 (57 \#16058)},
MRREVIEWER = {James H. Schmerl},
}
- Matt Kaufmann and James H. Schmerl. Saturation and simple extensions of models of Peano arithmetic. Ann. Pure Appl. Logic 27(2):109--136, 1984. www DOI MR bibtex
@article {kaufmannschmerl1984:saturation,
AUTHOR = {Kaufmann, Matt and Schmerl, James H.},
TITLE = {Saturation and simple extensions of models of Peano arithmetic},
JOURNAL = {Ann. Pure Appl. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {27},
YEAR = {1984},
NUMBER = {2},
PAGES = {109--136},
ISSN = {0168-0072},
CODEN = {APALD7},
MRCLASS = {03C62 (03C57)},
MRNUMBER = {763736 (85j:03051)},
MRREVIEWER = {David E. Marker},
DOI = {10.1016/0168-0072(84)90008-3},
URL = {http://dx.doi.org/10.1016/0168-0072(84)90008-3},
}
- Richard Kaye. A Galois correspondence for countable recursively saturated models of Peano arithmetic. Automorphisms of first-order structures, pp. 293--312, New York, 1994. MR bibtex
@incollection {kaye1994:agalois,
AUTHOR = {Kaye, Richard},
TITLE = {A Galois correspondence for countable recursively saturated models of Peano arithmetic},
BOOKTITLE = {Automorphisms of first-order structures},
SERIES = {Oxford Sci. Publ.},
PAGES = {293--312},
PUBLISHER = {Oxford Univ. Press},
ADDRESS = {New York},
YEAR = {1994},
MRCLASS = {03C57 (03C62 20B27)},
MRNUMBER = {1325480},
}
- Richard Kaye, Roman Kossak and Henryk Kotlarski. Automorphisms of recursively saturated models of arithmetic. Ann. Pure Appl. Logic 55(1):67--99, 1991. www DOI MR bibtex
@article {kkk1991:automorphisms,
AUTHOR = {Kaye, Richard and Kossak, Roman and Kotlarski, Henryk},
TITLE = {Automorphisms of recursively saturated models of arithmetic},
JOURNAL = {Ann. Pure Appl. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {55},
YEAR = {1991},
NUMBER = {1},
PAGES = {67--99},
ISSN = {0168-0072},
CODEN = {APALD7},
MRCLASS = {03C62 (20B27)},
MRNUMBER = {1134917 (93c:03047)},
MRREVIEWER = {Ali Enayat},
DOI = {10.1016/0168-0072(91)90098-7},
URL = {http://dx.doi.org/10.1016/0168-0072(91)90098-7},
}
- Richard Kaye and Tin Lok Wong. Truth in generic cuts. Ann. Pure Appl. Logic 161(8):987--1005, 2010. www DOI MR bibtex
@article {kayetinlokwong2010:truth,
AUTHOR = {Kaye, Richard and Wong, Tin Lok},
TITLE = {Truth in generic cuts},
JOURNAL = {Ann. Pure Appl. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {161},
YEAR = {2010},
NUMBER = {8},
PAGES = {987--1005},
ISSN = {0168-0072},
CODEN = {APALD7},
MRCLASS = {03C62 (03H15)},
MRNUMBER = {2629502 (2011f:03048)},
MRREVIEWER = {Constantine Dimitracopoulos},
DOI = {10.1016/j.apal.2009.11.001},
URL = {http://dx.doi.org/10.1016/j.apal.2009.11.001},
}
- Julia F. Knight. Hanf numbers for omitting types over particular theories. J. Symbolic Logic 41(3):583--588, 1976. MR bibtex
@article {knight1976:hanf,
AUTHOR = {Knight, Julia F.},
TITLE = {Hanf numbers for omitting types over particular theories},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {41},
YEAR = {1976},
NUMBER = {3},
PAGES = {583--588},
ISSN = {0022-4812},
MRCLASS = {02H05},
MRNUMBER = {0485323 (58 \#5170)},
}
- Julia Knight and Mark Nadel. Models of arithmetic and closed ideals. J. Symbolic Logic 47(4):833--840 (1983), 1982. www DOI MR bibtex
@article {knightnadel1982:models,
AUTHOR = {Knight, Julia and Nadel, Mark},
TITLE = {Models of arithmetic and closed ideals},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {47},
YEAR = {1982},
NUMBER = {4},
PAGES = {833--840 (1983)},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03C62 (03C50 03D30)},
MRNUMBER = {683158 (85d:03072)},
MRREVIEWER = {S. S. Goncharov},
DOI = {10.2307/2273102},
URL = {http://dx.doi.org/10.2307/2273102},
}
- Friederike Körner. Automorphisms moving all non-algebraic points and an application to NF. J. Symbolic Logic 63(3):815--830, 1998. www DOI MR bibtex
@article {korner1998:automorphisms,
AUTHOR = {K{\"o}rner, Friederike},
TITLE = {Automorphisms moving all non-algebraic points and an application to NF},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {63},
YEAR = {1998},
NUMBER = {3},
PAGES = {815--830},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03C50 (03C57 03E70)},
MRNUMBER = {1649063 (2000c:03030)},
MRREVIEWER = {M. Randall Holmes},
DOI = {10.2307/2586714},
URL = {http://dx.doi.org/10.2307/2586714},
}
- Roman Kossak. A note on satisfaction classes. Notre Dame J. Formal Logic 26(1):1--8, 1985. www DOI MR bibtex
@article {kossak1985:anoteon,
AUTHOR = {Kossak, Roman},
TITLE = {A note on satisfaction classes},
JOURNAL = {Notre Dame J. Formal Logic},
FJOURNAL = {Notre Dame Journal of Formal Logic},
VOLUME = {26},
YEAR = {1985},
NUMBER = {1},
PAGES = {1--8},
ISSN = {0029-4527},
CODEN = {NDJFAM},
MRCLASS = {03H15 (03C50 03C62)},
MRNUMBER = {766663 (86c:03055)},
MRREVIEWER = {Bernd Dahn},
DOI = {10.1305/ndjfl/1093870757},
URL = {http://dx.doi.org/10.1305/ndjfl/1093870757},
}
- Roman Kossak. Models with the $\omega$-property. J. Symbolic Logic 54(1):177--189, 1989. www DOI MR bibtex
@article {kossak1989:models,
AUTHOR = {Kossak, Roman},
TITLE = {Models with the $\omega$-property},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {54},
YEAR = {1989},
NUMBER = {1},
PAGES = {177--189},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03C62 (03H15)},
MRNUMBER = {987330 (90a:03053)},
MRREVIEWER = {A. J. Wilkie},
DOI = {10.2307/2275023},
URL = {http://dx.doi.org/10.2307/2275023},
}
- R. Kossak. Exercises in ‘back-and-forth’. Proceedings of the Nineth Easter Conference on Model Theory, Gosen, 1991. bibtex
@inproceedings {kossak1991:exercises,
title={Exercises in ‘back-and-forth’},
author={Kossak, R.},
booktitle={Proceedings of the Nineth Easter Conference on Model Theory, Gosen},
year={1991} }
- Roman Kossak. Four problems concerning recursively saturated models of arithmetic. Notre Dame J. Formal Logic 36(4):519--530, 1995. (Special Issue: Models of arithmetic) www DOI MR bibtex
@article {kossak1995:four,
AUTHOR = {Kossak, Roman},
TITLE = {Four problems concerning recursively saturated models of arithmetic},
NOTE = {Special Issue: Models of arithmetic},
JOURNAL = {Notre Dame J. Formal Logic},
FJOURNAL = {Notre Dame Journal of Formal Logic},
VOLUME = {36},
YEAR = {1995},
NUMBER = {4},
PAGES = {519--530},
ISSN = {0029-4527},
CODEN = {NDJFAM},
MRCLASS = {03C62 (03C57)},
MRNUMBER = {1368464 (98a:03056)},
MRREVIEWER = {Fuxing Shen},
DOI = {10.1305/ndjfl/1040136913},
URL = {http://dx.doi.org/10.1305/ndjfl/1040136913},
}
- Roman Kossak. A note on a theorem of Kanovei. Arch. Math. Logic 43(4):565--569, 2004. www DOI MR bibtex
@article {kossak2004:anote,
AUTHOR = {Kossak, Roman},
TITLE = {A note on a theorem of Kanovei},
JOURNAL = {Arch. Math. Logic},
FJOURNAL = {Archive for Mathematical Logic},
VOLUME = {43},
YEAR = {2004},
NUMBER = {4},
PAGES = {565--569},
ISSN = {0933-5846},
CODEN = {AMLOEH},
MRCLASS = {03C62},
MRNUMBER = {2060400 (2005a:03073)},
DOI = {10.1007/s00153-004-0218-2},
URL = {http://dx.doi.org/10.1007/s00153-004-0218-2},
}
- Roman Kossak and Henryk Kotlarski. Game approximations of satisfaction classes and the problem of rather classless models. Z. Math. Logik Grundlag. Math. 38(1):21--26, 1992. www DOI MR bibtex
@article {koskot1992:game,
AUTHOR = {Kossak, Roman and Kotlarski, Henryk},
TITLE = {Game approximations of satisfaction classes and the problem of rather classless models},
JOURNAL = {Z. Math. Logik Grundlag. Math.},
FJOURNAL = {Zeitschrift f\"ur Mathematische Logik und Grundlagen der Mathematik},
VOLUME = {38},
YEAR = {1992},
NUMBER = {1},
PAGES = {21--26},
ISSN = {0044-3050},
CODEN = {ZMLGAQ},
MRCLASS = {03C62 (03C57)},
MRNUMBER = {1253748 (95c:03089)},
MRREVIEWER = {David E. Marker},
DOI = {10.1002/malq.19920380103},
URL = {http://dx.doi.org/10.1002/malq.19920380103},
}
- Roman Kossak and Henryk Kotlarski. More on extending automorphisms of models of Peano arithmetic. Fund. Math. 200(2):133--143, 2008. www DOI MR bibtex
@article {koskot2008:moreon,
AUTHOR = {Kossak, Roman and Kotlarski, Henryk},
TITLE = {More on extending automorphisms of models of Peano arithmetic},
JOURNAL = {Fund. Math.},
FJOURNAL = {Fundamenta Mathematicae},
VOLUME = {200},
YEAR = {2008},
NUMBER = {2},
PAGES = {133--143},
ISSN = {0016-2736},
MRCLASS = {03C62 (03C50)},
MRNUMBER = {2426391 (2009d:03084)},
MRREVIEWER = {Constantine Dimitracopoulos},
DOI = {10.4064/fm200-2-2},
URL = {http://dx.doi.org/10.4064/fm200-2-2},
}
- Roman Kossak, Henryk Kotlarski and James H. Schmerl. On maximal subgroups of the automorphism group of a countable recursively saturated model of PA. Ann. Pure Appl. Logic 65(2):125--148, 1993. www DOI MR bibtex
@article {koskotsch1993,
AUTHOR = {Kossak, Roman and Kotlarski, Henryk and Schmerl, James H.},
TITLE = {On maximal subgroups of the automorphism group of a countable recursively saturated model of PA},
JOURNAL = {Ann. Pure Appl. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {65},
YEAR = {1993},
NUMBER = {2},
PAGES = {125--148},
ISSN = {0168-0072},
CODEN = {APALD7},
MRCLASS = {03C62 (03C57 20B27)},
MRNUMBER = {1257467 (94m:03061)},
MRREVIEWER = {Fuxing Shen},
DOI = {10.1016/0168-0072(93)90035-C},
URL = {http://dx.doi.org/10.1016/0168-0072(93)90035-C},
}
- Roman Kossak and Jeffrey B. Paris. Subsets of models of arithmetic. Arch. Math. Logic 32(1):65--73, 1992. www DOI MR bibtex
@article {kossakparis1992:subsets,
AUTHOR = {Kossak, Roman and Paris, Jeffrey B.},
TITLE = {Subsets of models of arithmetic},
JOURNAL = {Arch. Math. Logic},
FJOURNAL = {Archive for Mathematical Logic},
VOLUME = {32},
YEAR = {1992},
NUMBER = {1},
PAGES = {65--73},
ISSN = {0933-5846},
CODEN = {AMLOEH},
MRCLASS = {03H15 (03C62)},
MRNUMBER = {1186468 (94e:03066)},
MRREVIEWER = {Ali Enayat},
DOI = {10.1007/BF01270396},
URL = {http://dx.doi.org/10.1007/BF01270396},
}
- Roman Kossak and James H. Schmerl. Minimal satisfaction classes with an application to rigid models of Peano arithmetic. Notre Dame J. Formal Logic 32(3):392--398, 1991. www DOI MR bibtex
@article {kossakschmerl1991:minimal,
AUTHOR = {Kossak, Roman and Schmerl, James H.},
TITLE = {Minimal satisfaction classes with an application to rigid models of Peano arithmetic},
JOURNAL = {Notre Dame J. Formal Logic},
FJOURNAL = {Notre Dame Journal of Formal Logic},
VOLUME = {32},
YEAR = {1991},
NUMBER = {3},
PAGES = {392--398},
ISSN = {0029-4527},
CODEN = {NDJFAM},
MRCLASS = {03C62},
MRNUMBER = {1124592 (92h:03051)},
MRREVIEWER = {Athanassios Tzouvaras},
DOI = {10.1305/ndjfl/1093635835},
URL = {http://dx.doi.org/10.1305/ndjfl/1093635835},
}
- Roman Kossak and James H. Schmerl. The automorphism group of an arithmetically saturated model of Peano arithmetic. J. London Math. Soc. (2) 52(2):235--244, 1995. www DOI MR bibtex
@article {kossakschmerl1995:theautomorphism,
AUTHOR = {Kossak, Roman and Schmerl, James H.},
TITLE = {The automorphism group of an arithmetically saturated model of Peano arithmetic},
JOURNAL = {J. London Math. Soc. (2)},
FJOURNAL = {Journal of the London Mathematical Society. Second Series},
VOLUME = {52},
YEAR = {1995},
NUMBER = {2},
PAGES = {235--244},
ISSN = {0024-6107},
CODEN = {JLMSAK},
MRCLASS = {03C62 (20B27)},
MRNUMBER = {1356139 (97a:03048)},
MRREVIEWER = {Ali Enayat},
DOI = {10.1112/jlms/52.2.235},
URL = {http://dx.doi.org/10.1112/jlms/52.2.235},
}
- Roman Kossak and James H. Schmerl. The structure of models of Peano arithmetic. Vol. 50, The Clarendon Press Oxford University Press, Oxford, 2006. (Oxford Science Publications) www DOI MR bibtex
@book {kossakschmerl:modelsofpa,
AUTHOR = {Kossak, Roman and Schmerl, James H.},
TITLE = {The structure of models of Peano arithmetic},
SERIES = {Oxford Logic Guides},
VOLUME = {50},
NOTE = {Oxford Science Publications},
PUBLISHER = {The Clarendon Press Oxford University Press},
ADDRESS = {Oxford},
YEAR = {2006},
PAGES = {xiv+311},
ISBN = {978-0-19-856827-8; 0-19-856827-4},
MRCLASS = {03-02 (03C62 03F30 03H15)},
MRNUMBER = {2250469 (2008b:03001)},
MRREVIEWER = {Constantine Dimitracopoulos},
DOI = {10.1093/acprof:oso/9780198568278.001.0001},
URL = {http://dx.doi.org/10.1093/acprof:oso/9780198568278.001.0001},
}
- Roman Kossak and James H. Schmerl. On cofinal extensions and elementary interstices. Notre Dame J. Formal Logic 53(3):267--287, 2012. www bibtex
@article {kossakschmerl2012:oncofinal,
AUTHOR = {Kossak, Roman and Schmerl, James H.},
TITLE = {On cofinal extensions and elementary interstices},
JOURNAL = {Notre Dame J. Formal Logic},
FJOURNAL = {Notre Dame Journal of Formal Logic},
VOLUME = {53},
YEAR = {2012},
NUMBER = {3},
PAGES = {267--287},
ISSN = {0029-4527},
CODEN = {NDJFAM},
MRCLASS = {03C62 (03C62)},
MRNUMBER = {},
MRREVIEWER = {},
URL = {http://projecteuclid.org/getRecord?id=euclid.ndjfl/1348524112},
}
- Daniel Lascar. The small index property and recursively saturated models of Peano arithmetic. Automorphisms of first-order structures, pp. 281--292, New York, 1994. MR bibtex
@incollection {lascar1994:thesmall,
AUTHOR = {Lascar, Daniel},
TITLE = {The small index property and recursively saturated models of Peano arithmetic},
BOOKTITLE = {Automorphisms of first-order structures},
SERIES = {Oxford Sci. Publ.},
PAGES = {281--292},
PUBLISHER = {Oxford Univ. Press},
ADDRESS = {New York},
YEAR = {1994},
MRCLASS = {03C57 (03C62)},
MRNUMBER = {1325479},
}
- George Mills. Substructure lattices of models of arithmetic. Ann. Math. Logic 16(2):145--180, 1979. www DOI MR bibtex
@article {mills1979:substructure,
AUTHOR = {Mills, George},
TITLE = {Substructure lattices of models of arithmetic},
JOURNAL = {Ann. Math. Logic},
FJOURNAL = {Annals of Mathematical Logic},
VOLUME = {16},
YEAR = {1979},
NUMBER = {2},
PAGES = {145--180},
ISSN = {0003-4843},
CODEN = {AMLOAD},
MRCLASS = {03H15},
MRNUMBER = {537207 (81i:03105)},
DOI = {10.1016/0003-4843(79)90007-X},
URL = {http://dx.doi.org/10.1016/0003-4843(79)90007-X},
}
- Ermek S. Nurkhaidarov. Automorphism groups of arithmetically saturated models. J. Symbolic Logic 71(1):203--216, 2006. www DOI MR bibtex
@article {nurkhaidarov2006:automorphism,
AUTHOR = {Nurkhaidarov, Ermek S.},
TITLE = {Automorphism groups of arithmetically saturated models},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {Journal of Symbolic Logic},
VOLUME = {71},
YEAR = {2006},
NUMBER = {1},
PAGES = {203--216},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03C62 (03C50 03F30)},
MRNUMBER = {2210062 (2006k:03066)},
MRREVIEWER = {Roman Kossak},
DOI = {10.2178/jsl/1140641169},
URL = {http://dx.doi.org/10.2178/jsl/1140641169},
}
- J. B. Paris. On models of arithmetic. Conference in Mathematical Logic---London '70 (Bedford Coll., London, 1970), pp. 251--280. Lecture Notes in Math., Vol. 255, Berlin, 1972. MR bibtex
@incollection {paris1972:onmodels,
AUTHOR = {Paris, J. B.},
TITLE = {On models of arithmetic},
BOOKTITLE = {Conference in Mathematical Logic---London \'70 (Bedford Coll., London, 1970)},
PAGES = {251--280. Lecture Notes in Math., Vol. 255},
PUBLISHER = {Springer},
ADDRESS = {Berlin},
YEAR = {1972},
MRCLASS = {02H05 (02H13)},
MRNUMBER = {0392552 (52 \#13369)},
MRREVIEWER = {W. Marek},
}
- J. B. Paris. Models of arithmetic and the 1-3-1 lattice. Fund. Math. 95(3):195--199, 1977. MR bibtex
@article {paris1977:modelsof,
AUTHOR = {Paris, J. B.},
TITLE = {Models of arithmetic and the 1-3-1 lattice},
JOURNAL = {Fund. Math.},
FJOURNAL = {Polska Akademia Nauk. Fundamenta Mathematicae},
VOLUME = {95},
YEAR = {1977},
NUMBER = {3},
PAGES = {195--199},
ISSN = {0016-2736},
MRCLASS = {02H05 (02H20)},
MRNUMBER = {0446953 (56 \#5270)},
MRREVIEWER = {P. Hajek},
}
- John S. Schlipf. A guide to the identification of admissible sets above structures. Ann. Math. Logic 12(2):151--192. MR bibtex
@article {schlipf1977:aguide,
author={Schlipf, John S.},
title={A guide to the identification of admissible sets above structures},
journal={Ann. Math. Logic},
volume={12},
date={1977},
number={2},
pages={151--192},
issn={0168-0072},
MRNUMBER={0485330 (58 \#5177)},
}
- James H. Schmerl. Peano models with many generic classes. Pacific J. Math. 46:523--536, 1973. MR bibtex
@article {schmerl1973:peano,
AUTHOR = {Schmerl, James H.},
TITLE = {Peano models with many generic classes},
JOURNAL = {Pacific J. Math.},
FJOURNAL = {Pacific Journal of Mathematics},
VOLUME = {46},
YEAR = {1973},
PAGES = {523--536},
ISSN = {0030-8730},
MRCLASS = {02H20},
MRNUMBER = {0354351 (50 \#6831)},
MRREVIEWER = {M. Boffa},
}
- James H. Schmerl. Extending models of arithmetic. Ann. Math. Logic 14:89--109, 1978. www DOI MR bibtex
@article {schmerl1978:extending,
AUTHOR = {Schmerl, James H.},
TITLE = {Extending models of arithmetic},
JOURNAL = {Ann. Math. Logic},
FJOURNAL = {Annals of Mathematical Logic},
VOLUME = {14},
YEAR = {1978},
PAGES = {89--109},
ISSN = {0003-4843},
CODEN = {AMLOAD},
MRCLASS = {03C62},
MRNUMBER = {506527 (80f:03036)},
MRREVIEWER = {Andreas Blass},
DOI = {10.1016/0003-4843(78)90013-X},
URL = {http://dx.doi.org/10.1016/0003-4843(78)90013-X},
}
- James H. Schmerl. Recursively saturated, rather classless models of Peano arithmetic. Logic Year 1979--80 (Proc. Seminars and Conf. Math. Logic, Univ. Connecticut, Storrs, Conn., 1979/80)859:268--282, Berlin, 1981. MR bibtex
@incollection {schmerl1981:recursively,
AUTHOR = {Schmerl, James H.},
TITLE = {Recursively saturated, rather classless models of Peano arithmetic},
BOOKTITLE = {Logic Year 1979--80 (Proc. Seminars and Conf. Math. Logic, Univ. Connecticut, Storrs, Conn., 1979/80)},
SERIES = {Lecture Notes in Math.},
VOLUME = {859},
PAGES = {268--282},
PUBLISHER = {Springer},
ADDRESS = {Berlin},
YEAR = {1981},
MRCLASS = {03C62 (03C50 03H15)},
MRNUMBER = {619874 (83b:03039)},
MRREVIEWER = {Matt Kaufmann},
}
- James H. Schmerl. Recursively saturated models generated by indiscernibles. Notre Dame J. Formal Logic 26(2):99--105, 1985. www DOI MR bibtex
@article {schmerl1985:recursively,
AUTHOR = {Schmerl, James H.},
TITLE = {Recursively saturated models generated by indiscernibles},
JOURNAL = {Notre Dame J. Formal Logic},
FJOURNAL = {Notre Dame Journal of Formal Logic},
VOLUME = {26},
YEAR = {1985},
NUMBER = {2},
PAGES = {99--105},
ISSN = {0029-4527},
CODEN = {NDJFAM},
MRCLASS = {03C57},
MRNUMBER = {783590 (87g:03038)},
MRREVIEWER = {Alain Lewis},
DOI = {10.1305/ndjfl/1093870818},
URL = {http://dx.doi.org/10.1305/ndjfl/1093870818},
}
- James H. Schmerl. Large resplendent models generated by indiscernibles. J. Symbolic Logic 54(4):1382--1388, 1989. www DOI MR bibtex
@article {schmerl1989,
AUTHOR = {Schmerl, James H.},
TITLE = {Large resplendent models generated by indiscernibles},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {Journal of Symbolic Logic},
VOLUME = {54},
YEAR = {1989},
NUMBER = {4},
PAGES = {1382--1388},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03C57},
MRNUMBER = {1026604 (91b:03063)},
MRREVIEWER = {David E. Marker},
DOI = {10.2307/2274820},
URL = {http://dx.doi.org/10.2307/2274820},
}
- James H. Schmerl. Automorphism groups of models of Peano arithmetic. J. Symbolic Logic 67(4):1249--1264, 2002. www DOI MR bibtex
@article {schmerl2002:automorphism,
AUTHOR = {Schmerl, James H.},
TITLE = {Automorphism groups of models of Peano arithmetic},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {Journal of Symbolic Logic},
VOLUME = {67},
YEAR = {2002},
NUMBER = {4},
PAGES = {1249--1264},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03C62 (06A05 20A15)},
MRNUMBER = {1955236 (2005b:03090)},
MRREVIEWER = {Roman Kossak},
DOI = {10.2178/jsl/1190150283},
URL = {http://dx.doi.org/10.2178/jsl/1190150283},
}
- James H. Schmerl. Diversity in substructures. 361:145--161, Providence, RI, 2004. www DOI MR bibtex
@article {schmerl2004:diversity,
AUTHOR = {Schmerl, James H.},
TITLE = {Diversity in substructures},
BOOKTITLE = {Nonstandard models of arithmetic and set theory},
SERIES = {Contemp. Math.},
VOLUME = {361},
PAGES = {145--161},
PUBLISHER = {Amer. Math. Soc.},
ADDRESS = {Providence, RI},
YEAR = {2004},
MRCLASS = {03H15 (03C62 05D10 06E05)},
MRNUMBER = {2089281 (2005g:03117)},
MRREVIEWER = {M. Yasuhara},
DOI = {10.1090/conm/361/06593},
URL = {http://dx.doi.org/10.1090/conm/361/06593},
}
- James H. Schmerl. Nondiversity in substructures. J. Symbolic Logic 73(1):193--211, 2008. www DOI MR bibtex
@article {schmerl2008:nondiversity,
AUTHOR = {Schmerl, James H.},
TITLE = {Nondiversity in substructures},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {Journal of Symbolic Logic},
VOLUME = {73},
YEAR = {2008},
NUMBER = {1},
PAGES = {193--211},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03C62 (03H15)},
MRNUMBER = {2387939 (2008k:03074)},
MRREVIEWER = {Roman Kossak},
DOI = {10.2178/jsl/1208358749},
URL = {http://dx.doi.org/10.2178/jsl/1208358749},
}
- James H. Schmerl. Elementary cuts in saturated models of Peano arithmetic. Notre Dame J. Form. Log. 53(1):1--13, 2012. www DOI MR bibtex
@article {schmerl2012:elementary,
AUTHOR = {Schmerl, James H.},
TITLE = {Elementary cuts in saturated models of Peano arithmetic},
JOURNAL = {Notre Dame J. Form. Log.},
FJOURNAL = {Notre Dame Journal of Formal Logic},
VOLUME = {53},
YEAR = {2012},
NUMBER = {1},
PAGES = {1--13},
ISSN = {0029-4527},
MRCLASS = {03C62},
MRNUMBER = {2925265},
DOI = {10.1215/00294527-1626491},
URL = {http://dx.doi.org/10.1215/00294527-1626491},
}
- James H. Schmerl. Infinite substructure lattices of models of Peano arithmetic. J. Symbolic Logic 75(4):1366--1382, 2010. www DOI MR bibtex
@article {schmerl2010:infinite,
AUTHOR = {Schmerl, James H.},
TITLE = {Infinite substructure lattices of models of Peano arithmetic},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {Journal of Symbolic Logic},
VOLUME = {75},
YEAR = {2010},
NUMBER = {4},
PAGES = {1366--1382},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03F30 (03C62 06B05)},
MRNUMBER = {2767974 (2012a:03162)},
MRREVIEWER = {Constantine Dimitracopoulos},
DOI = {10.2178/jsl/1286198152},
URL = {http://dx.doi.org/10.2178/jsl/1286198152},
}
- James H. Schmerl. The automorphism group of a resplendent model. 51:647--649, 2012. www DOI MR bibtex
@incollection {schmerl2012theAutomorphism,
AUTHOR = {Schmerl, James H.},
TITLE = {The automorphism group of a resplendent model},
JOURNAL = {Arch. Math. Logic},
FJOURNAL = {Archive for Mathematical Logic},
VOLUME = {51},
YEAR = {2012},
NUMBER = {5-6},
PAGES = {647--649},
ISSN = {0933-5846},
CODEN = {AMLOEH},
MRCLASS = {03B25 (03C50 20F10)},
MRNUMBER = {2945573},
DOI = {10.1007/s00153-012-0288-5},
URL = {http://dx.doi.org/10.1007/s00153-012-0288-5},
}
- Dana Scott. Algebras of sets binumerable in complete extensions of arithmetic. Proc. Sympos. Pure Math., Vol. V, pp. 117--121, Providence, R.I., 1962. MR bibtex
@incollection {scott1962:algebras,
AUTHOR = {Scott, Dana},
TITLE = {Algebras of sets binumerable in complete extensions of arithmetic},
BOOKTITLE = {Proc. Sympos. Pure Math., Vol. V},
PAGES = {117--121},
PUBLISHER = {American Mathematical Society},
ADDRESS = {Providence, R.I.},
YEAR = {1962},
MRCLASS = {02.72},
MRNUMBER = {0141595 (25 \#4993)},
MRREVIEWER = {H. Ribeiro},
}
- Stuart T. Smith. Extendible sets in Peano arithmetic. Trans. Amer. Math. Soc. 316(1):337--367, 1989. www DOI MR bibtex
@article {smith1989:extendible,
AUTHOR = {Smith, Stuart T.},
TITLE = {Extendible sets in Peano arithmetic},
JOURNAL = {Trans. Amer. Math. Soc.},
FJOURNAL = {Transactions of the American Mathematical Society},
VOLUME = {316},
YEAR = {1989},
NUMBER = {1},
PAGES = {337--367},
ISSN = {0002-9947},
CODEN = {TAMTAM},
MRCLASS = {03C62 (03H15)},
MRNUMBER = {946223 (90b:03049)},
MRREVIEWER = {Athanassios Tzouvaras},
DOI = {10.2307/2001288},
URL = {http://dx.doi.org/10.2307/2001288},
}
- C. Smoryński. Elementary extensions of recursively saturated models of arithmetic. Notre Dame J. Formal Logic 22(3):193--203, 1981. www MR bibtex
@article {smorynski1981:elementary,
AUTHOR = {Smory{\\'n}ski, C.},
TITLE = {Elementary extensions of recursively saturated models of arithmetic},
JOURNAL = {Notre Dame J. Formal Logic},
FJOURNAL = {Notre Dame Journal of Formal Logic},
VOLUME = {22},
YEAR = {1981},
NUMBER = {3},
PAGES = {193--203},
ISSN = {0029-4527},
CODEN = {NDJFAM},
MRCLASS = {03C62 (03C57 03H15)},
MRNUMBER = {614117 (82g:03064)},
MRREVIEWER = {Klaus Potthoff},
URL = {http://projecteuclid.org/getRecord?id=euclid.ndjfl/1093883454},
}
- C. Smoryński. A note on initial segment constructions in recursively saturated models of arithmetic. Notre Dame J. Formal Logic 23(4):393--408, 1982. www MR bibtex
@article {smorynski1982:anoteoninitial,
AUTHOR = {Smory{\\'n}ski, C.},
TITLE = {A note on initial segment constructions in recursively saturated models of arithmetic},
JOURNAL = {Notre Dame J. Formal Logic},
FJOURNAL = {Notre Dame Journal of Formal Logic},
VOLUME = {23},
YEAR = {1982},
NUMBER = {4},
PAGES = {393--408},
ISSN = {0029-4527},
CODEN = {NDJFAM},
MRCLASS = {03C62 (03C57 03F30 03H15)},
MRNUMBER = {669146 (83j:03058)},
MRREVIEWER = {Roman Murawski},
URL = {http://projecteuclid.org/getRecord?id=euclid.ndjfl/1093870152},
}
- A. J. Wilkie. On models of arithmetic having non-modular substructure lattices. Fund. Math. 95(3):223--237, 1977. MR bibtex
@article {wilkie1977:onmodels,
AUTHOR = {Wilkie, A. J.},
TITLE = {On models of arithmetic having non-modular substructure lattices},
JOURNAL = {Fund. Math.},
FJOURNAL = {Polska Akademia Nauk. Fundamenta Mathematicae},
VOLUME = {95},
YEAR = {1977},
NUMBER = {3},
PAGES = {223--237},
ISSN = {0016-2736},
MRCLASS = {02H05 (02H20)},
MRNUMBER = {0446952 (56 \#5269)},
MRREVIEWER = {P. Hajek} }
Peano's parlour users may make contributions to the library, in bibtex format, and then cite those references in other articles. Edit the bibtex database to make your contribution.