@software{infinitary-logic, author = {Cameron E. Freer}, title = {Infinitary Logic in {Lean} 4}, year = {2026}, howpublished = {\url{https://github.com/cameronfreer/infinitary-logic}} } @misc{TauCeti, author = {{Tau Ceti Project}}, title = {{Tau Ceti}: An {AI}-Built Mathematical Library in {Lean}}, year = {2026}, howpublished = {\url{https://github.com/TauCetiProject/TauCeti}} } @misc{lean4-skills, author = {Cameron E. Freer}, title = {{Lean 4 Skills}: Theorem Proving Skill and Workflow Pack for {AI} Coding Agents}, year = {2025}, month = oct, howpublished = {\url{https://github.com/cameronfreer/lean4-skills}} } @misc{lean-lsp-mcp, author = {Oliver Dressler}, title = {Lean Theorem Prover {MCP}}, ftitle = {{Lean LSP MCP}: Tools for Agentic Interaction with the Lean Theorem Prover}, year = {2025}, month = mar, howpublished = {\url{https://github.com/oOo0oOo/lean-lsp-mcp}} } @misc{Palomar, author = {Nathanael Ackerman and Cameron Freer and Robin Knight}, title = {A Counterexample to {Vaught's} Conjecture for Infinitary Logic}, year = {2026}, month = oct, howpublished = {Palomar Registry, PALOMAR-2026-10-07-000001, version 1}, note = {\url{https://palomar-registry.org/entry?id=PALOMAR-2026-10-07-000001&version=1}} } @misc{github, wrongauthor = {Cameron Freer}, author = {Nathanael Ackerman and Cameron Freer and Robin Knight}, title = {Vaught's Conjecture Counterexample: Lean 4 Proof Development}, year = {2026}, howpublished = {GitHub repository}, note = {\url{https://github.com/cameronfreer/vaught-conjecture-counterexample/}} } @unpublished{Knight2002, author = {Knight, R. W.}, title = {The {Vaught} Conjecture: A Counterexample}, year = {2002}, note = {Unpublished manuscript}, furl = {https://people.maths.ox.ac.uk/~knight/stuff/example.ps} } @article {MR4962152, AUTHOR = {Baizhanov, Bektur and Umbetbayev, Olzhas and Zambarnaya, Tatyana}, TITLE = {Non-orthogonality of 1-types in theories with a linear order}, JOURNAL = {Izv. Irkutsk. Gos. Univ. Ser. Mat.}, FJOURNAL = {Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika}, VOLUME = {53}, YEAR = {2025}, PAGES = {131--140}, ISSN = {1997-7670,2541-8785}, MRCLASS = {03C64}, MRNUMBER = {4962152}, DOI = {10.26516/1997-7670.2025.53.131}, URL = {https://doi.org/10.26516/1997-7670.2025.53.131}, } @book {MR1940513, AUTHOR = {Jech, Thomas}, TITLE = {Set theory}, edition = {Third millenium}, SERIES = {Springer Monographs in Mathematics}, fNOTE = {The third millennium edition, revised and expanded}, PUBLISHER = {Springer-Verlag, Berlin}, YEAR = {2003}, PAGES = {xiv+769}, ISBN = {3-540-44085-2}, MRCLASS = {03Exx (03-01 03-02)}, MRNUMBER = {1940513}, MRREVIEWER = {Eva\ Coplakova}, } @article {MR4811548, AUTHOR = {Schweber, Noah}, TITLE = {Strong reducibilities and set theory}, JOURNAL = {Ann. Pure Appl. Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {176}, YEAR = {2025}, NUMBER = {2}, PAGES = {Paper No. 103522, 13}, ISSN = {0168-0072,1873-2461}, MRCLASS = {03E15 (03C55 03D45 03D60)}, MRNUMBER = {4811548}, MRREVIEWER = {Wei\ Wang}, DOI = {10.1016/j.apal.2024.103522}, URL = {https://doi.org/10.1016/j.apal.2024.103522}, } @article {MR4836650, AUTHOR = {Tanovi\'{c}, Predrag}, TITLE = {Vaught's conjecture for theories of discretely ordered structures}, JOURNAL = {Notre Dame J. Formal Logic}, ffJOURNAL = {Notre Dame J. Form. Log.}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {65}, YEAR = {2024}, NUMBER = {3}, PAGES = {247--257}, ISSN = {0029-4527,1939-0726}, MRCLASS = {03C15 (03C45)}, MRNUMBER = {4836650}, MRREVIEWER = {Gabriel\ Conant}, DOI = {10.1215/00294527-2024-0014}, URL = {https://doi.org/10.1215/00294527-2024-0014}, } @article {MR4694262, AUTHOR = {Kurili\'{c}, Milo\v{s} S.}, TITLE = {Sharp {V}aught's conjecture for some classes of partial orders}, JOURNAL = {Ann. Pure Appl. Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {175}, YEAR = {2024}, NUMBER = {4}, PAGES = {Paper No. 103411, 18}, ISSN = {0168-0072,1873-2461}, MRCLASS = {03C15 (03C35 06A05 06A06)}, MRNUMBER = {4694262}, MRREVIEWER = {Beibut\ Sh.\ Kulpeshov}, DOI = {10.1016/j.apal.2024.103411}, URL = {https://doi.org/10.1016/j.apal.2024.103411}, } @article {MR4630765, AUTHOR = {Gonzalez, David and Montalb\'{a}n, Antonio}, TITLE = {The {$\omega$}-{V}aught's conjecture}, JOURNAL = {Trans. Amer. Math. Soc.}, FJOURNAL = {Transactions of the American Mathematical Society}, VOLUME = {376}, YEAR = {2023}, NUMBER = {8}, PAGES = {5989--6008}, ISSN = {0002-9947,1088-6850}, MRCLASS = {03D45 (03C75)}, MRNUMBER = {4630765}, MRREVIEWER = {Dino\ Rossegger}, DOI = {10.1090/tran/8950}, URL = {https://doi.org/10.1090/tran/8950}, } @article {MR4402053, AUTHOR = {Harrison-Trainor, Matthew}, TITLE = {An introduction to the {S}cott complexity of countable structures and a survey of recent results}, JOURNAL = {Bull. Symb. Log.}, FJOURNAL = {The Bulletin of Symbolic Logic}, VOLUME = {28}, YEAR = {2022}, NUMBER = {1}, PAGES = {71--103}, ISSN = {1079-8986,1943-5894}, MRCLASS = {03D45 (03C57 03C70)}, MRNUMBER = {4402053}, MRREVIEWER = {Alexandra\ Andreeva\ Soskova}, DOI = {10.1017/bsl.2021.62}, URL = {https://doi.org/10.1017/bsl.2021.62}, } @article {MR4361588, AUTHOR = {Kurili\'{c}, Milo\v{s} S.}, TITLE = {Vaught's conjecture for theories admitting finite monomorphic decompositions}, JOURNAL = {Fund. Math.}, FJOURNAL = {Fundamenta Mathematicae}, VOLUME = {256}, YEAR = {2022}, NUMBER = {2}, PAGES = {131--169}, ISSN = {0016-2736,1730-6329}, MRCLASS = {03C15 (03C35 03C40 06A05)}, MRNUMBER = {4361588}, MRREVIEWER = {Barbara\ Majcher-Iwanow}, DOI = {10.4064/fm967-11-2020}, URL = {https://doi.org/10.4064/fm967-11-2020}, } @incollection {MR4567359, AUTHOR = {Steel, John R.}, TITLE = {On {V}aught's conjecture}, BOOKTITLE = {Large cardinals, determinacy and other topics. {T}he {C}abal {S}eminar. {V}ol. {IV}}, SERIES = {Lect. Notes Log.}, VOLUME = {49}, PAGES = {179--195}, PUBLISHER = {Cambridge Univ. Press, Cambridge}, YEAR = {2021}, ISBN = {978-1-107-18299-8; 978-1-108-92022-3}, MRCLASS = {03C15 (03C70 03E15)}, MRNUMBER = {4567359}, } @article {MR4347566, AUTHOR = {Kurili\'{c}, Milo\v{s} S.}, TITLE = {Vaught's conjecture for almost chainable theories}, JOURNAL = {J. Symbolic Logic}, ffJOURNAL = {J. Symb. Log.}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {86}, YEAR = {2021}, NUMBER = {3}, PAGES = {991--1005}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C15 (03C35 03C50 06A05)}, MRNUMBER = {4347566}, MRREVIEWER = {Slavko\ Moconja}, DOI = {10.1017/jsl.2021.60}, URL = {https://doi.org/10.1017/jsl.2021.60}, } @article {MR4330528, AUTHOR = {Andrews, Uri and Harrison-Trainor, Matthew and Schweber, Noah}, TITLE = {The property ``arithmetic-is-recursive'' on a cone}, JOURNAL = {J. Math. Log.}, FJOURNAL = {Journal of Mathematical Logic}, VOLUME = {21}, YEAR = {2021}, NUMBER = {3}, PAGES = {Paper No. 2150021, 18}, ISSN = {0219-0613,1793-6691}, MRCLASS = {03D45 (03C15 03C57)}, MRNUMBER = {4330528}, MRREVIEWER = {Nikolay\ Bazhenov}, DOI = {10.1142/S0219061321500215}, URL = {https://doi.org/10.1142/S0219061321500215}, } @article {MR4081951, AUTHOR = {Kulpeshov, B. Sh.}, TITLE = {Vaught's conjecture for weakly {$o$}-minimal theories of finite convexity rank}, JOURNAL = {Izv. Ross. Akad. Nauk Ser. Mat.}, FJOURNAL = {Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya}, VOLUME = {84}, YEAR = {2020}, NUMBER = {2}, PAGES = {126--151}, ISSN = {1607-0046,2587-5906}, MRCLASS = {03C45 (03C15 03C50 03C64)}, MRNUMBER = {4081951}, DOI = {10.4213/im8894}, URL = {https://doi.org/10.4213/im8894}, } @article {MR1142919, AUTHOR = {Iverson, Paul}, TITLE = {The number of countable isomorphism types of complete extensions of the theory of {B}oolean algebras}, JOURNAL = {Colloq. Math.}, FJOURNAL = {Colloquium Mathematicum}, VOLUME = {62}, YEAR = {1991}, NUMBER = {2}, PAGES = {181--187}, ISSN = {0010-1354,1730-6302}, MRCLASS = {03C65 (03C15 03C35 03G05)}, MRNUMBER = {1142919}, MRREVIEWER = {Leo\ Esakia}, DOI = {10.4064/cm-62-2-181-187}, URL = {https://doi.org/10.4064/cm-62-2-181-187}, } @article {MR4044787, AUTHOR = {Moconja, Slavko and Tanovi\'{c}, Predrag}, TITLE = {Stationarily ordered types and the number of countable models}, JOURNAL = {Ann. Pure Appl. Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {171}, YEAR = {2020}, NUMBER = {3}, PAGES = {102765, 43}, ISSN = {0168-0072,1873-2461}, MRCLASS = {03C15 (03C45 03C64 06A05)}, MRNUMBER = {4044787}, MRREVIEWER = {Gabriel\ Conant}, DOI = {10.1016/j.apal.2019.102765}, URL = {https://doi.org/10.1016/j.apal.2019.102765}, } @article {MR4057918, AUTHOR = {Kulpeshov, B. Sh.}, TITLE = {Maximality of the countable spectrum in small quite {$o$}-minimal theories}, JOURNAL = {Algebra Logika}, FJOURNAL = {Algebra i Logika. Institut Diskretno\u{\i} Matematiki i Informatiki}, VOLUME = {58}, YEAR = {2019}, NUMBER = {2}, PAGES = {200--209}, ISSN = {0373-9252}, MRCLASS = {03C64 (03C15)}, MRNUMBER = {4057918}, MRREVIEWER = {G.\ Cherlin}, } @article {MR3950101, AUTHOR = {Kurili\'{c}, Milo\v{s} S.}, TITLE = {Vaught's conjecture for monomorphic theories}, JOURNAL = {Ann. Pure Appl. Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {170}, YEAR = {2019}, NUMBER = {8}, PAGES = {910--920}, ISSN = {0168-0072,1873-2461}, MRCLASS = {03C15 (03C35 03C50 06A05)}, MRNUMBER = {3950101}, MRREVIEWER = {Keith\ A.\ Kearnes}, DOI = {10.1016/j.apal.2019.04.012}, URL = {https://doi.org/10.1016/j.apal.2019.04.012}, } @article {MR3849789, AUTHOR = {Alibek, A. and Baizhanov, B. S. and Kulpeshov, B. Sh. and Zambarnaya, T. S.}, TITLE = {Vaught's conjecture for weakly o-minimal theories of convexity rank 1}, JOURNAL = {Ann. Pure Appl. Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {169}, YEAR = {2018}, NUMBER = {11}, PAGES = {1190--1209}, ISSN = {0168-0072,1873-2461}, MRCLASS = {03C64 (03C07 03C15 03C50)}, MRNUMBER = {3849789}, MRREVIEWER = {Alfred\ Dolich}, DOI = {10.1016/j.apal.2018.06.003}, URL = {https://doi.org/10.1016/j.apal.2018.06.003}, } @article {MR3827972, AUTHOR = {Baizhanov, B. and Baldwin, J. T. and Zambarnaya, T.}, TITLE = {Finding {$2^{\aleph_0}$} countable models for ordered theories}, JOURNAL = {Sib. \`Elektron. Mat. Izv.}, FJOURNAL = {Sibirskie \`Elektronnye Matematicheskie Izvestiya. Siberian Electronic Mathematical Reports}, VOLUME = {15}, YEAR = {2018}, PAGES = {719--727}, ISSN = {1813-3304}, MRCLASS = {03C15 (03C64)}, MRNUMBER = {3827972}, MRREVIEWER = {Lynn\ Scow}, DOI = {10.17377/semi.2018.15.057}, URL = {https://doi.org/10.17377/semi.2018.15.057}, } @incollection {MR3729323, AUTHOR = {Larson, Paul B.}, TITLE = {Scott processes}, BOOKTITLE = {Beyond first order model theory}, PAGES = {23--76}, PUBLISHER = {CRC Press, Boca Raton, FL}, YEAR = {2017}, ISBN = {978-1-4987-5397-5}, MRCLASS = {03C75}, MRNUMBER = {3729323}, MRREVIEWER = {Sebastien\ Vasey}, } @article {MR3663412, AUTHOR = {Rast, Richard and Singh Sahota, Davender}, TITLE = {The {B}orel complexity of isomorphism for o-minimal theories}, JOURNAL = {J. Symb. Log.}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {82}, YEAR = {2017}, NUMBER = {2}, PAGES = {453--473}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C64 (03E15)}, MRNUMBER = {3663412}, MRREVIEWER = {Barbara\ Majcher-Iwanow}, DOI = {10.1017/jsl.2017.17}, URL = {https://doi.org/10.1017/jsl.2017.17}, } @article {MR3565390, AUTHOR = {Montalb\'{a}n, Antonio}, TITLE = {Degree-invariant, analytic equivalence relations without perfectly many classes}, JOURNAL = {Proc. Amer. Math. Soc.}, FJOURNAL = {Proceedings of the American Mathematical Society}, VOLUME = {145}, YEAR = {2017}, NUMBER = {1}, PAGES = {395--398}, ISSN = {0002-9939,1088-6826}, MRCLASS = {03E15 (03D30 03E60)}, MRNUMBER = {3565390}, MRREVIEWER = {Rachid\ Atmai}, DOI = {10.1090/proc/13218}, URL = {https://doi.org/10.1090/proc/13218}, } @article {MR3564379, AUTHOR = {Kulpeshov, B. Sh. and Sudoplatov, S. V.}, TITLE = {Vaught's conjecture for quite o-minimal theories}, JOURNAL = {Ann. Pure Appl. Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {168}, YEAR = {2017}, NUMBER = {1}, PAGES = {129--149}, ISSN = {0168-0072,1873-2461}, MRCLASS = {03C64 (03C07 03C15 03C50)}, MRNUMBER = {3564379}, MRREVIEWER = {Gabriel\ Conant}, DOI = {10.1016/j.apal.2016.09.002}, URL = {https://doi.org/10.1016/j.apal.2016.09.002}, } @incollection {MR723338, AUTHOR = {Sacks, Gerald E.}, TITLE = {On the number of countable models}, BOOKTITLE = {Southeast {A}sian conference on logic ({S}ingapore, 1981)}, SERIES = {Stud. Logic Found. Math.}, VOLUME = {111}, PAGES = {185--195}, PUBLISHER = {North-Holland, Amsterdam}, YEAR = {1983}, ISBN = {0-444-86706-6}, MRCLASS = {03C15}, MRNUMBER = {723338}, MRREVIEWER = {David\ E.\ Marker}, DOI = {10.1016/S0049-237X(08)70961-3}, URL = {https://doi.org/10.1016/S0049-237X(08)70961-3}, } @incollection {MR717768, AUTHOR = {Lascar, Daniel}, TITLE = {Les corps diff\'{e}rentiellement clos d\'{e}nombrables}, BOOKTITLE = {Study group on stable theories ({B}runo {P}oizat), 3, 1980/1982}, PAGES = {Exp. No. 6, 9}, PUBLISHER = {Univ. Paris VI, Paris}, YEAR = {1983}, ISBN = {2-85926-282-2}, MRCLASS = {03C60 (12H05 12L12)}, MRNUMBER = {717768}, MRREVIEWER = {G.\ Cherlin}, } @article {MR716613, AUTHOR = {Lo, Li Bo}, TITLE = {On the number of countable homogeneous models}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {48}, YEAR = {1983}, NUMBER = {3}, PAGES = {539--541}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C50 (03C15)}, MRNUMBER = {716613}, MRREVIEWER = {Bruno\ Poizat}, DOI = {10.2307/2273444}, URL = {https://doi.org/10.2307/2273444}, } @article {MR704091, AUTHOR = {Bouscaren, Elisabeth}, TITLE = {Countable models of multidimensional {$\aleph _{0}$}-stable theories}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {48}, YEAR = {1983}, NUMBER = {2}, PAGES = {377--383}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C45 (03C15)}, MRNUMBER = {704091}, MRREVIEWER = {Bolat\ Omarov}, DOI = {10.2307/2273554}, URL = {https://doi.org/10.2307/2273554}, } @article {MR683391, AUTHOR = {Sami, Ramez L.}, TITLE = {Sur la conjecture de {V}aught en th\'{e}orie descriptive}, JOURNAL = {C. R. Acad. Sci. Paris S\'{e}r. I Math.}, FJOURNAL = {Comptes Rendus des S\'{e}ances de l'Acad\'{e}mie des Sciences. S\'{e}rie I. Math\'{e}matique}, VOLUME = {295}, YEAR = {1982}, NUMBER = {6}, PAGES = {413--416}, ISSN = {0249-6291}, MRCLASS = {03E15 (54H05)}, MRNUMBER = {683391}, } @article {MR288015, AUTHOR = {Morley, Michael}, TITLE = {The number of countable models}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {35}, YEAR = {1970}, PAGES = {14--18}, ISSN = {0022-4812,1943-5886}, MRCLASS = {02.50}, MRNUMBER = {288015}, MRREVIEWER = {F.\ R.\ Drake}, DOI = {10.2307/2271150}, URL = {https://doi.org/10.2307/2271150}, } @article {MR188059, AUTHOR = {Lopez-Escobar, E. G. K.}, TITLE = {An interpolation theorem for denumerably long formulas}, JOURNAL = {Fund. Math.}, FJOURNAL = {Polska Akademia Nauk. Fundamenta Mathematicae}, VOLUME = {57}, YEAR = {1965}, PAGES = {253--272}, ISSN = {0016-2736,1730-6329}, MRCLASS = {02.35}, MRNUMBER = {188059}, MRREVIEWER = {H.\ Jerome\ Keisler}, DOI = {10.4064/fm-57-3-253-272}, URL = {https://doi.org/10.4064/fm-57-3-253-272}, } @inproceedings {MR186552, AUTHOR = {Vaught, R. L.}, TITLE = {Denumerable models of complete theories}, BOOKTITLE = {Infinitistic {M}ethods ({P}roc. {S}ympos. {F}oundations of {M}ath., {W}arsaw, 1959)}, PAGES = {303--321}, PUBLISHER = {Pergamon, Oxford-London-New York-Paris}, YEAR = {1961}, MRCLASS = {02.50}, MRNUMBER = {186552}, MRREVIEWER = {G.\ Fuhrken}, } @article {MR1022169, AUTHOR = {Sami, Ramez L.}, TITLE = {Polish group actions and the {V}aught conjecture}, JOURNAL = {Trans. Amer. Math. Soc.}, FJOURNAL = {Transactions of the American Mathematical Society}, VOLUME = {341}, YEAR = {1994}, NUMBER = {1}, PAGES = {335--353}, ISSN = {0002-9947,1088-6850}, MRCLASS = {03E15 (03C15 03C57 04A15 54H05)}, MRNUMBER = {1022169}, MRREVIEWER = {Andreas\ Blass}, DOI = {10.2307/2154625}, URL = {https://doi.org/10.2307/2154625}, } @article {MR661477, AUTHOR = {Wagner, C. M.}, TITLE = {On {M}artin's conjecture}, JOURNAL = {Ann. Math. Logic}, FJOURNAL = {Annals of Mathematical Logic}, VOLUME = {22}, YEAR = {1982}, NUMBER = {1}, PAGES = {47--67}, ISSN = {0003-4843}, MRCLASS = {03C52 (03C15 03C45)}, MRNUMBER = {661477}, DOI = {10.1016/0003-4843(82)90015-8}, URL = {https://doi.org/10.1016/0003-4843(82)90015-8}, } @article {MR609429, AUTHOR = {Miller, Arnold W.}, TITLE = {Vaught's conjecture for theories of one unary operation}, JOURNAL = {Fund. Math.}, FJOURNAL = {Polska Akademia Nauk. Fundamenta Mathematicae}, VOLUME = {111}, YEAR = {1981}, NUMBER = {2}, PAGES = {135--141}, ISSN = {0016-2736,1730-6329}, MRCLASS = {03C15}, MRNUMBER = {609429}, MRREVIEWER = {Annalisa\ Marcja}, DOI = {10.4064/fm-111-2-135-141}, URL = {https://doi.org/10.4064/fm-111-2-135-141}, } @incollection {MR658328, AUTHOR = {Lascar, Daniel}, TITLE = {La conjecture de {V}aught}, BOOKTITLE = {Set {T}heory: {GMS} {S}eminar ({P}aris, 1976--1977 and 1977--1978)}, SERIES = {Publ. Math. Univ. Paris VII}, VOLUME = {5}, PAGES = {13--20}, PUBLISHER = {Univ. Paris VII, Paris}, YEAR = {1979}, MRCLASS = {03C15 (03C35)}, MRNUMBER = {658328}, MRREVIEWER = {Cyprian\ Gnanvo}, } @inproceedings {MR526920, AUTHOR = {Steel, John R.}, TITLE = {On {V}aught's conjecture}, BOOKTITLE = {Cabal {S}eminar 76--77 ({P}roc. {C}altech-{UCLA} {L}ogic {S}em., 1976--77)}, SERIES = {Lecture Notes in Math.}, VOLUME = {689}, PAGES = {193--208}, PUBLISHER = {Springer, Berlin}, YEAR = {1978}, ISBN = {3-540-09086-*}, MRCLASS = {03C15 (03C70 03E15)}, MRNUMBER = {526920}, MRREVIEWER = {John\ Rosenthal}, } @proceedings {MR526912, TITLE = {Cabal {S}eminar 76--77}, SERIES = {Lecture Notes in Mathematics}, VOLUME = {689}, BOOKTITLE = {Proceedings of the {C}altech-{UCLA} {L}ogic {S}eminar 1976--77}, EDITOR = {Kechris, Alexander S. and Moschovakis, Yiannis N.}, PUBLISHER = {Springer, Berlin}, YEAR = {1978}, PAGES = {iii+282}, ISBN = {3-540-09086-*}, MRCLASS = {03-06}, MRNUMBER = {526912}, } @article {MR491142, AUTHOR = {Makkai, M.}, TITLE = {An ``admissible'' generalization of a theorem on countable {$\Sigma ^{1}_{1}$} sets of reals with applications}, JOURNAL = {Ann. Math. Logic}, FJOURNAL = {Annals of Mathematical Logic}, VOLUME = {11}, YEAR = {1977}, NUMBER = {1}, PAGES = {1--30}, ISSN = {0003-4843}, MRCLASS = {02H10 (02B25)}, MRNUMBER = {491142}, MRREVIEWER = {M.\ E.\ Nadel}, DOI = {10.1016/0003-4843(77)90008-0}, URL = {https://doi.org/10.1016/0003-4843(77)90008-0}, } @inproceedings {MR476502, AUTHOR = {Benda, Miroslav}, TITLE = {Some directions in model theory}, BOOKTITLE = {Non-classical logics, model theory and computability ({P}roc. {T}hird {L}atin-{A}mer. {S}ympos. {M}ath. {L}ogic, {C}ampinas, 1976)}, SERIES = {Stud. Logic Found. Math., Vol. 89}, PAGES = {117--133}, PUBLISHER = {North-Holland, Amsterdam-New York-Oxford}, YEAR = {1977}, MRCLASS = {02H99 (02A05)}, MRNUMBER = {476502}, MRREVIEWER = {Jacques\ Stern}, } @article {MR472506, AUTHOR = {Harnik, V. and Makkai, M.}, TITLE = {A tree argument in infinitary model theory}, JOURNAL = {Proc. Amer. Math. Soc.}, FJOURNAL = {Proceedings of the American Mathematical Society}, VOLUME = {67}, YEAR = {1977}, NUMBER = {2}, PAGES = {309--314}, ISSN = {0002-9939,1088-6826}, MRCLASS = {02H10 (02B25)}, MRNUMBER = {472506}, MRREVIEWER = {John\ P.\ Burgess}, DOI = {10.2307/2041293}, URL = {https://doi.org/10.2307/2041293}, } @article {MR369018, 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,1943-5886}, MRCLASS = {02-02}, MRNUMBER = {369018}, MRREVIEWER = {Andreas\ Blass}, DOI = {10.2307/2271891}, URL = {https://doi.org/10.2307/2271891}, } @article {MR286642, AUTHOR = {Baldwin, J. T. and Lachlan, A. H.}, TITLE = {On strongly minimal sets}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {36}, YEAR = {1971}, PAGES = {79--96}, ISSN = {0022-4812,1943-5886}, MRCLASS = {02.50}, MRNUMBER = {286642}, MRREVIEWER = {Walter\ Taylor}, DOI = {10.2307/2271517}, URL = {https://doi.org/10.2307/2271517}, } @book{MR2768176, AUTHOR = {V{\"a}{\"a}n{\"a}nen, Jouko}, TITLE = {Models and games}, SERIES = {Cambridge Studies in Advanced Mathematics}, VOLUME = {132}, PUBLISHER = {Cambridge University Press, Cambridge}, YEAR = {2011}, PAGES = {xii+367}, ISBN = {978-0-521-51812-3}, MRCLASS = {03-02 (03C68 03C75 03C80 03E20 91A44)}, MRNUMBER = {2768176}, MRREVIEWER = {Debora\ Di Caprio and Francisco\ J.\ Santos-Arteaga}, DOI = {10.1017/CBO9780511974885}, URL = {https://doi.org/10.1017/CBO9780511974885}, } @book{MR3558585, AUTHOR = {Marker, David}, TITLE = {Lectures on infinitary model theory}, SERIES = {Lecture Notes in Logic}, VOLUME = {46}, PUBLISHER = {Association for Symbolic Logic, Chicago, IL; Cambridge University Press, Cambridge}, YEAR = {2016}, PAGES = {viii+183}, ISBN = {978-1-107-18193-9}, MRCLASS = {03-02 (03C75 03D60 03E15 03E60)}, MRNUMBER = {3558585}, MRREVIEWER = {Alexei\ S.\ Kolesnikov}, DOI = {10.1017/CBO9781316855560}, URL = {https://doi.org/10.1017/CBO9781316855560}, } @article{Nadel, AUTHOR = {Nadel, Mark}, TITLE = {Scott sentences and admissible sets}, JOURNAL = {Ann. Math. Logic}, FJOURNAL = {Annals of Mathematical Logic}, VOLUME = {7}, YEAR = {1974}, PAGES = {267--294}, ISSN = {0003-4843}, MRCLASS = {02H10 (02F27)}, MRNUMBER = {384471}, MRREVIEWER = {Nigel J. Cutland}, DOI = {10.1016/0003-4843(74)90017-5}, URL = {https://doi-org.ezp-prod1.hul.harvard.edu/10.1016/0003-4843(74)90017-5}, } @book{Barwise, AUTHOR = {Barwise, Jon}, TITLE = {Admissible sets and structures}, NOTE = {An approach to definability theory, Perspectives in Mathematical Logic}, PUBLISHER = {Springer-Verlag, Berlin-New York}, YEAR = {1975}, PAGES = {xiii+394}, MRCLASS = {02H99 (02F27 02B25)}, MRNUMBER = {0424560 (54 \#12519)}, MRREVIEWER = {Nigel J. Cutland}, } @book{MR0344115, AUTHOR = {Keisler, H. Jerome}, TITLE = {Model theory for infinitary logic. {L}ogic with countable conjunctions and finite quantifiers}, SERIES = {Studies in Logic and the Foundations of Mathematics, Vol. 62}, PUBLISHER = {North-Holland Publishing Co., Amsterdam-London}, YEAR = {1971}, PAGES = {x+208 pp. (loose erratum)}, MRCLASS = {02H10 (02B25 02K15)}, MRNUMBER = {0344115}, MRREVIEWER = {Andreas Blass}, } Home Preferences Free Tools Help Contact Us Terms of Use Blog Click here to activate Remote Access MathSciNet @article {MR3569106, AUTHOR = {Knight, Julia and Montalb\'{a}n, Antonio and Schweber, Noah}, TITLE = {Computable structures in generic extensions}, JOURNAL = {J. Symb. Log.}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {81}, YEAR = {2016}, NUMBER = {3}, PAGES = {814--832}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03D30 (03C75 03E40)}, MRNUMBER = {3569106}, DOI = {10.1017/jsl.2015.30}, URL = {https://doi.org/10.1017/jsl.2015.30}, } @article {MR3490920, AUTHOR = {Baldwin, John T. and Koerwien, Martin and Souldatos, Ioannis}, TITLE = {The joint embedding property and maximal models}, JOURNAL = {Arch. Math. Logic}, FJOURNAL = {Archive for Mathematical Logic}, VOLUME = {55}, YEAR = {2016}, NUMBER = {3-4}, PAGES = {545--565}, ISSN = {0933-5846,1432-0665}, MRCLASS = {03C48 (03C30 03C52 03C75)}, MRNUMBER = {3490920}, MRREVIEWER = {John\ Goodrick}, DOI = {10.1007/s00153-016-0480-0}, URL = {https://doi.org/10.1007/s00153-016-0480-0}, } @article {MR3471132, AUTHOR = {Montalb\'{a}n, Antonio}, TITLE = {Classes of structures with no intermediate isomorphism problems}, JOURNAL = {J. Symb. Log.}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {81}, YEAR = {2016}, NUMBER = {1}, PAGES = {127--150}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03D45 (03C75)}, MRNUMBER = {3471132}, MRREVIEWER = {Wesley\ Calvert}, DOI = {10.1017/jsl.2014.55}, URL = {https://doi.org/10.1017/jsl.2014.55}, } @article {MR3451890, AUTHOR = {Baldwin, John T. and Friedman, Sy D. and Koerwien, Martin and Laskowski, Michael C.}, TITLE = {Three red herrings around {V}aught's conjecture}, JOURNAL = {Trans. Amer. Math. Soc.}, FJOURNAL = {Transactions of the American Mathematical Society}, VOLUME = {368}, YEAR = {2016}, NUMBER = {5}, PAGES = {3673--3694}, ISSN = {0002-9947,1088-6850}, MRCLASS = {03C15 (03C55 03C75 03E40)}, MRNUMBER = {3451890}, MRREVIEWER = {Paolo\ Lipparini}, DOI = {10.1090/tran/6572}, URL = {https://doi.org/10.1090/tran/6572}, } @article {MR3447725, AUTHOR = {Goddard, Christina}, TITLE = {Improving a bounding result that constructs models of high {S}cott rank}, JOURNAL = {Notre Dame J. Form. Log.}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {57}, YEAR = {2016}, NUMBER = {1}, PAGES = {59--71}, ISSN = {0029-4527,1939-0726}, MRCLASS = {03C70 (03D60)}, MRNUMBER = {3447725}, MRREVIEWER = {H.\ Dugald\ Macpherson}, DOI = {10.1215/00294527-3328289}, URL = {https://doi.org/10.1215/00294527-3328289}, } @article {MR3403092, AUTHOR = {Ackerman, Nathanael Leedom}, TITLE = {Vaught's conjecture without equality}, JOURNAL = {Notre Dame J. Formal Logic}, ffJOURNAL = {Notre Dame J. Form. Log.}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {56}, YEAR = {2015}, NUMBER = {4}, PAGES = {573--582}, ISSN = {0029-4527,1939-0726}, MRCLASS = {03C15 (03C30 03C75)}, MRNUMBER = {3403092}, MRREVIEWER = {John\ T.\ Baldwin}, DOI = {10.1215/00294527-3153588}, URL = {https://doi.org/10.1215/00294527-3153588}, } @article {MR3395349, AUTHOR = {Baldwin, John T. and Larson, Paul B. and Shelah, Saharon}, TITLE = {Almost {G}alois {$\omega$}-stable classes}, JOURNAL = {J. Symb. Log.}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {80}, YEAR = {2015}, NUMBER = {3}, PAGES = {763--784}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C48 (03C45 03C75)}, MRNUMBER = {3395349}, MRREVIEWER = {Monica\ M.\ VanDieren}, DOI = {10.1017/jsl.2015.19}, URL = {https://doi.org/10.1017/jsl.2015.19}, } @article {MR3376734, AUTHOR = {Montalb\'{a}n, Antonio}, TITLE = {Analytic equivalence relations satisfying hyperarithmetic-is-recursive}, JOURNAL = {Forum Math. Sigma}, FJOURNAL = {Forum of Mathematics. Sigma}, VOLUME = {3}, YEAR = {2015}, PAGES = {Paper No. e8, 11}, ISSN = {2050-5094}, MRCLASS = {03E15 (03D60)}, MRNUMBER = {3376734}, MRREVIEWER = {Vassilios\ Gregoriades}, DOI = {10.1017/fms.2015.5}, URL = {https://doi.org/10.1017/fms.2015.5}, } @article {MR3343540, AUTHOR = {Montalb\'{a}n, Antonio}, TITLE = {Priority arguments via true stages}, JOURNAL = {J. Symb. Log.}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {79}, YEAR = {2014}, NUMBER = {4}, PAGES = {1315--1335}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03D60 (03C57 03D45)}, MRNUMBER = {3343540}, MRREVIEWER = {Peter\ Cholak}, DOI = {10.1017/jsl.2014.11}, URL = {https://doi.org/10.1017/jsl.2014.11}, } @article {MR3284618, AUTHOR = {Knight, J. F.}, TITLE = {Using computability to measure complexity of algebraic structures and classes of structures}, JOURNAL = {Lobachevskii J. Math.}, FJOURNAL = {Lobachevskii Journal of Mathematics}, VOLUME = {35}, YEAR = {2014}, NUMBER = {4}, PAGES = {304--312}, ISSN = {1995-0802,1818-9962}, MRCLASS = {03D45}, MRNUMBER = {3284618}, MRREVIEWER = {Uri\ Andrews}, DOI = {10.1134/S1995080214040192}, URL = {https://doi.org/10.1134/S1995080214040192}, } @article {MR3156527, AUTHOR = {Becker, Howard}, TITLE = {Isomorphism of computable structures and {V}aught's conjecture}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {78}, YEAR = {2013}, NUMBER = {4}, PAGES = {1328--1344}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C57 (03D45 03E15)}, MRNUMBER = {3156527}, MRREVIEWER = {Barbara\ Majcher-Iwanow}, URL = {http://projecteuclid.org/euclid.jsl/1388954009}, } @article {MR3010050, AUTHOR = {Montalb\'{a}n, Antonio}, TITLE = {A computability theoretic equivalent to {V}aught's conjecture}, JOURNAL = {Adv. Math.}, FJOURNAL = {Advances in Mathematics}, VOLUME = {235}, YEAR = {2013}, PAGES = {56--73}, ISSN = {0001-8708,1090-2082}, MRCLASS = {03C15 (03C57 03D28)}, MRNUMBER = {3010050}, MRREVIEWER = {Wesley\ Calvert}, DOI = {10.1016/j.aim.2012.11.012}, URL = {https://doi.org/10.1016/j.aim.2012.11.012}, } @article {MR2999224, AUTHOR = {S\'{a}gi, G\'{a}bor and Szir\'{a}ki, Dorottya}, TITLE = {Some variants of {V}aught's conjecture from the perspective of algebraic logic}, JOURNAL = {Log. J. IGPL}, FJOURNAL = {Logic Journal of the IGPL. Interest Group in Pure and Applied Logics}, VOLUME = {20}, YEAR = {2012}, NUMBER = {6}, PAGES = {1064--1082}, ISSN = {1367-0751,1368-9894}, MRCLASS = {03C45 (03C30)}, MRNUMBER = {2999224}, MRREVIEWER = {Jeremy\ F.\ Alm}, DOI = {10.1093/jigpal/jzr049}, URL = {https://doi.org/10.1093/jigpal/jzr049}, } @article {MR2928356, AUTHOR = {Di Nola, Antonio and Lenzi, Giacomo}, TITLE = {On {V}aught's conjecture and finitely valued {MV} algebras}, JOURNAL = {MLQ Math. Log. Q.}, FJOURNAL = {MLQ. Mathematical Logic Quarterly}, VOLUME = {58}, YEAR = {2012}, NUMBER = {3}, PAGES = {139--152}, ISSN = {0942-5616,1521-3870}, MRCLASS = {06D35 (03B50 03C05)}, MRNUMBER = {2928356}, MRREVIEWER = {Brunella\ Gerla}, DOI = {10.1002/malq.201020091}, URL = {https://doi.org/10.1002/malq.201020091}, } @article {MR2598869, AUTHOR = {Koerwien, Martin}, TITLE = {Comparing {B}orel reducibility and depth of an {$\omega$}-stable theory}, JOURNAL = {Notre Dame J. Form. Log.}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {50}, YEAR = {2009}, NUMBER = {4}, PAGES = {365--380 (2010)}, ISSN = {0029-4527,1939-0726}, MRCLASS = {03C45 (03C15 03E15)}, MRNUMBER = {2598869}, MRREVIEWER = {G.\ Cherlin}, DOI = {10.1215/00294527-2009-016}, URL = {https://doi.org/10.1215/00294527-2009-016}, } @article {MR2583820, AUTHOR = {Hjorth, Greg and Souldatos, Ioannis A.}, TITLE = {Independently axiomatizable {$\scr L_{\omega_1,\omega}$} theories}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {74}, YEAR = {2009}, NUMBER = {4}, PAGES = {1273--1286}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C75}, MRNUMBER = {2583820}, MRREVIEWER = {Barbara\ Majcher-Iwanow}, DOI = {10.2178/jsl/1254748691}, URL = {https://doi.org/10.2178/jsl/1254748691}, } @article {MR2467429, AUTHOR = {Buechler, Steven}, TITLE = {Vaught's conjecture for superstable theories of finite rank}, JOURNAL = {Ann. Pure Appl. Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {155}, YEAR = {2008}, NUMBER = {3}, PAGES = {135--172}, ISSN = {0168-0072,1873-2461}, MRCLASS = {03C45 (03C60 20A15)}, MRNUMBER = {2467429}, MRREVIEWER = {Carlo\ Toffalori}, DOI = {10.1016/j.apal.2008.03.004}, URL = {https://doi.org/10.1016/j.apal.2008.03.004}, } @article {MR2289901, AUTHOR = {Newelski, Ludomir}, TITLE = {Relative {V}aught's conjecture for some meager groups}, JOURNAL = {Notre Dame J. Formal Logic}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {48}, YEAR = {2007}, NUMBER = {1}, PAGES = {115--132}, ISSN = {0029-4527,1939-0726}, MRCLASS = {03C45}, MRNUMBER = {2289901}, MRREVIEWER = {U.\ Felgner}, DOI = {10.1305/ndjfl/1172787549}, URL = {https://doi.org/10.1305/ndjfl/1172787549}, } @article {MR2289900, AUTHOR = {Marker, David}, TITLE = {The number of countable differentially closed fields}, JOURNAL = {Notre Dame J. Formal Logic}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {48}, YEAR = {2007}, NUMBER = {1}, PAGES = {99--113}, ISSN = {0029-4527,1939-0726}, MRCLASS = {03C60 (03C45)}, MRNUMBER = {2289900}, MRREVIEWER = {Jonathan\ Kirby}, DOI = {10.1305/ndjfl/1172787548}, URL = {https://doi.org/10.1305/ndjfl/1172787548}, } @article {MR2289899, AUTHOR = {Marker, David}, TITLE = {The {B}orel complexity of isomorphism for theories with many types}, JOURNAL = {Notre Dame J. Formal Logic}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {48}, YEAR = {2007}, NUMBER = {1}, PAGES = {93--97}, ISSN = {0029-4527,1939-0726}, MRCLASS = {03C15 (03E15)}, MRNUMBER = {2289899}, DOI = {10.1305/ndjfl/1172787547}, URL = {https://doi.org/10.1305/ndjfl/1172787547}, } @article {MR2289897, AUTHOR = {Knight, R. W.}, TITLE = {Categories of topological spaces and scattered theories}, JOURNAL = {Notre Dame J. Formal Logic}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {48}, YEAR = {2007}, NUMBER = {1}, PAGES = {53--77}, ISSN = {0029-4527,1939-0726}, MRCLASS = {03C15 (06E15 18B30)}, MRNUMBER = {2289897}, MRREVIEWER = {Barbara\ Majcher-Iwanow}, DOI = {10.1305/ndjfl/1172787545}, URL = {https://doi.org/10.1305/ndjfl/1172787545}, } @article {MR2289896, AUTHOR = {Hjorth, Greg}, TITLE = {A note on counterexamples to the {V}aught conjecture}, JOURNAL = {Notre Dame J. Formal Logic}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {48}, YEAR = {2007}, NUMBER = {1}, PAGES = {49--51}, ISSN = {0029-4527,1939-0726}, MRCLASS = {03E15 (03C75)}, MRNUMBER = {2289896}, DOI = {10.1305/ndjfl/1172787544}, URL = {https://doi.org/10.1305/ndjfl/1172787544}, } @article {MR2289892, AUTHOR = {Cholak, Peter}, TITLE = {Introduction to the special issue on {V}aught's conjecture}, JOURNAL = {Notre Dame J. Formal Logic}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {48}, YEAR = {2007}, NUMBER = {1}, PAGES = {1--2}, ISSN = {0029-4527,1939-0726}, MRCLASS = {03-06}, MRNUMBER = {2289892}, DOI = {10.1305/ndjfl/1172787540}, URL = {https://doi.org/10.1305/ndjfl/1172787540}, } @article {MR2183999, AUTHOR = {Puninskaya, Vera and Toffalori, Carlo}, TITLE = {Vaught's conjecture and group rings}, JOURNAL = {Comm. Algebra}, FJOURNAL = {Communications in Algebra}, VOLUME = {33}, YEAR = {2005}, NUMBER = {11}, PAGES = {4267--4281}, ISSN = {0092-7872,1532-4125}, MRCLASS = {03C60 (16B70 16S34)}, MRNUMBER = {2183999}, MRREVIEWER = {Mike\ Prest}, DOI = {10.1080/00927870500279035}, URL = {https://doi.org/10.1080/00927870500279035}, } @incollection {MR2088761, AUTHOR = {Hjorth, Greg}, TITLE = {Group actions and countable models}, BOOKTITLE = {Logic {C}olloquium '99}, SERIES = {Lect. Notes Log.}, VOLUME = {17}, PAGES = {3--29}, PUBLISHER = {Assoc. Symbol. Logic, Urbana, IL}, YEAR = {2004}, ISBN = {1-56881-203-5}, MRCLASS = {03E15 (03-02 03C15 20A15 37A15 37B99)}, MRNUMBER = {2088761}, } @article {MR2001062, AUTHOR = {Newelski, Ludomir}, TITLE = {Very simple theories without forking}, JOURNAL = {Arch. Math. Logic}, FJOURNAL = {Archive for Mathematical Logic}, VOLUME = {42}, YEAR = {2003}, NUMBER = {6}, PAGES = {601--616}, ISSN = {0933-5846,1432-0665}, MRCLASS = {03C45}, MRNUMBER = {2001062}, MRREVIEWER = {O.\ V.\ Belegradek}, DOI = {10.1007/s00153-003-0172-4}, URL = {https://doi.org/10.1007/s00153-003-0172-4}, } @incollection {MR1871189, AUTHOR = {Puninskaya, V. A.}, TITLE = {Vaught's conjecture}, NOTE = {Algebra, 16}, JOURNAL = {J. Math. Sci. (New York)}, FJOURNAL = {Journal of Mathematical Sciences (New York)}, VOLUME = {109}, YEAR = {2002}, NUMBER = {3}, PAGES = {1649--1668}, ISSN = {1072-3374}, MRCLASS = {03C60 (03C15 03C45 16B70)}, MRNUMBER = {1871189}, MRREVIEWER = {Ivo\ Herzog}, DOI = {10.1023/A:1013985226489}, URL = {https://doi.org/10.1023/A:1013985226489}, } @article {MR1877029, AUTHOR = {Buechler, Steven and Hoover, Colleen}, TITLE = {The classification of small types of rank {$\omega$}. {I}}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {66}, YEAR = {2001}, NUMBER = {4}, PAGES = {1884--1898}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C45}, MRNUMBER = {1877029}, MRREVIEWER = {Markus\ Junker}, DOI = {10.2307/2694982}, URL = {https://doi.org/10.2307/2694982}, } @article {MR1848135, AUTHOR = {Becker, Howard}, TITLE = {Topics in invariant descriptive set theory}, JOURNAL = {Ann. Pure Appl. Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {111}, YEAR = {2001}, NUMBER = {3}, PAGES = {145--184}, ISSN = {0168-0072,1873-2461}, MRCLASS = {03E15 (03C15 54H05 54H20)}, MRNUMBER = {1848135}, MRREVIEWER = {Gabriel\ Debs}, DOI = {10.1016/S0168-0072(01)00024-0}, URL = {https://doi.org/10.1016/S0168-0072(01)00024-0}, } @article {MR1839544, AUTHOR = {Buss, Samuel R. and Kechris, Alexander S. and Pillay, Anand and Shore, Richard A.}, TITLE = {The prospects for mathematical logic in the twenty-first century}, JOURNAL = {Bull. Symbolic Logic}, FJOURNAL = {The Bulletin of Symbolic Logic}, VOLUME = {7}, YEAR = {2001}, NUMBER = {2}, PAGES = {169--196}, ISSN = {1079-8986,1943-5894}, MRCLASS = {03-02}, MRNUMBER = {1839544}, MRREVIEWER = {Peter\ G.\ Hinman}, DOI = {10.2307/2687773}, URL = {https://doi.org/10.2307/2687773}, } @article {MR1825184, AUTHOR = {Puninskaya, Vera}, TITLE = {Modules with few types over a hereditary {N}oetherian prime ring}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {66}, YEAR = {2001}, NUMBER = {1}, PAGES = {271--280}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C60 (16D70 16P40)}, MRNUMBER = {1825184}, MRREVIEWER = {Mike\ Prest}, DOI = {10.2307/2694921}, URL = {https://doi.org/10.2307/2694921}, } @article {MR1804507, AUTHOR = {Camerlo, Riccardo and Gao, Su}, TITLE = {The completeness of the isomorphism relation for countable {B}oolean algebras}, JOURNAL = {Trans. Amer. Math. Soc.}, FJOURNAL = {Transactions of the American Mathematical Society}, VOLUME = {353}, YEAR = {2001}, NUMBER = {2}, PAGES = {491--518}, ISSN = {0002-9947,1088-6850}, MRCLASS = {03E15 (03C15 06E15)}, MRNUMBER = {1804507}, MRREVIEWER = {Miroslav\ Repick\'{y}}, DOI = {10.1090/S0002-9947-00-02659-3}, URL = {https://doi.org/10.1090/S0002-9947-00-02659-3}, } @article {MR1800351, AUTHOR = {Hjorth, Greg}, TITLE = {Vaught's conjecture on analytic sets}, JOURNAL = {J. Amer. Math. Soc.}, FJOURNAL = {Journal of the American Mathematical Society}, VOLUME = {14}, YEAR = {2001}, NUMBER = {1}, PAGES = {125--143}, ISSN = {0894-0347,1088-6834}, MRCLASS = {03E15 (03C55 03E40)}, MRNUMBER = {1800351}, MRREVIEWER = {Marek\ Balcerzak}, DOI = {10.1090/S0894-0347-00-00349-0}, URL = {https://doi.org/10.1090/S0894-0347-00-00349-0}, } @incollection {MR1809172, AUTHOR = {Puninskaya, V. A.}, TITLE = {Modules with few types over a commutative valuation ring}, NOTE = {Algebra, 15}, JOURNAL = {J. Math. Sci. (New York)}, FJOURNAL = {Journal of Mathematical Sciences (New York)}, VOLUME = {102}, YEAR = {2000}, NUMBER = {6}, PAGES = {4652--4661}, ISSN = {1072-3374}, MRCLASS = {03C60 (13L05)}, MRNUMBER = {1809172}, MRREVIEWER = {Paolo\ Zanardo}, DOI = {10.1007/BF02673891}, URL = {https://doi.org/10.1007/BF02673891}, } @article {MR1782111, AUTHOR = {Puninskaya, Vera}, TITLE = {Vaught's conjecture for modules over a serial ring}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {65}, YEAR = {2000}, NUMBER = {1}, PAGES = {155--163}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C60 (03C45 16D80)}, MRNUMBER = {1782111}, MRREVIEWER = {Mike\ Prest}, DOI = {10.2307/2586528}, URL = {https://doi.org/10.2307/2586528}, } @book {MR1783306, AUTHOR = {Sacks, Gerald E.}, TITLE = {Selected logic papers}, SERIES = {World Scientific Series in 20th Century Mathematics}, VOLUME = {6}, PUBLISHER = {World Scientific Publishing Co., Inc., River Edge, NJ}, YEAR = {1999}, PAGES = {xx+431}, ISBN = {981-02-3267-5}, MRCLASS = {01A75 (03-06 03D25 03D28 03D60 03D65)}, MRNUMBER = {1783306}, MRREVIEWER = {Dag\ Normann}, DOI = {10.1142/9789812812926}, URL = {https://doi.org/10.1142/9789812812926}, } @article {MR1763382, AUTHOR = {Prest, M. and Puninskaya, V. A.}, TITLE = {Vaught's conjecture for modules over a commutative {P}r\"{u}fer ring}, JOURNAL = {Algebra Log.}, FJOURNAL = {Algebra i Logika. Institut Diskretno\u{\i} Matematiki i Informatiki}, VOLUME = {38}, YEAR = {1999}, NUMBER = {4}, PAGES = {419--435, 508}, ISSN = {0373-9252}, MRCLASS = {03C45 (03C15 03C60 13F05)}, MRNUMBER = {1763382}, MRREVIEWER = {G.\ Cherlin}, DOI = {10.1007/BF02671728}, URL = {https://doi.org/10.1007/BF02671728}, } @article {MR1744671, AUTHOR = {Puninskaya, V. A.}, TITLE = {Vaught's conjecture for modules over hereditary {N}oetherian primary rings}, JOURNAL = {Uspekhi Mat. Nauk}, FJOURNAL = {Uspekhi Matematicheskikh Nauk}, VOLUME = {54}, YEAR = {1999}, NUMBER = {6(330)}, PAGES = {171--172}, ISSN = {0042-1316,2305-2872}, MRCLASS = {03C60 (16E60)}, MRNUMBER = {1744671}, DOI = {10.1070/rm1999v054n06ABEH000243}, URL = {https://doi.org/10.1070/rm1999v054n06ABEH000243}, } @article {MR1714986, AUTHOR = {Newelski, Ludomir}, TITLE = {Vaught's conjecture for some meager groups}, JOURNAL = {Israel J. Math.}, FJOURNAL = {Israel Journal of Mathematics}, VOLUME = {112}, YEAR = {1999}, PAGES = {271--299}, ISSN = {0021-2172,1565-8511}, MRCLASS = {03C45 (20A15)}, MRNUMBER = {1714986}, MRREVIEWER = {Carlo\ Toffalori}, DOI = {10.1007/BF02773485}, URL = {https://doi.org/10.1007/BF02773485}, } @article {MR1664164, AUTHOR = {Puninskaya, Vera}, TITLE = {Vaught's conjecture for modules over a {D}edekind prime ring}, JOURNAL = {Bull. London Math. Soc.}, FJOURNAL = {The Bulletin of the London Mathematical Society}, VOLUME = {31}, YEAR = {1999}, NUMBER = {2}, PAGES = {129--135}, ISSN = {0024-6093,1469-2120}, MRCLASS = {03C60 (03C15 16B70)}, MRNUMBER = {1664164}, MRREVIEWER = {M.\ Yasuhara}, DOI = {10.1112/S0024609398005360}, URL = {https://doi.org/10.1112/S0024609398005360}, } @article {MR1467467, AUTHOR = {Hjorth, Greg and Solecki, Slawomir}, TITLE = {Vaught's conjecture and the {G}limm-{E}ffros property for {P}olish transformation groups}, JOURNAL = {Trans. Amer. Math. Soc.}, FJOURNAL = {Transactions of the American Mathematical Society}, VOLUME = {351}, YEAR = {1999}, NUMBER = {7}, PAGES = {2623--2641}, ISSN = {0002-9947,1088-6850}, MRCLASS = {54H05 (22A05 54H15)}, MRNUMBER = {1467467}, MRREVIEWER = {Klaas\ Pieter\ Hart}, DOI = {10.1090/S0002-9947-99-02141-8}, URL = {https://doi.org/10.1090/S0002-9947-99-02141-8}, } @article {MR1704857, AUTHOR = {Luo, Libo}, TITLE = {Vaught's conjecture on unitary relations}, JOURNAL = {Acta Math. Sinica (N.S.)}, FJOURNAL = {Acta Mathematica Sinica. New Series}, VOLUME = {14}, YEAR = {1998}, NUMBER = {2}, PAGES = {277--284}, ISSN = {1000-9574}, MRCLASS = {03C50}, MRNUMBER = {1704857}, DOI = {10.1007/BF02560213}, URL = {https://doi.org/10.1007/BF02560213}, } @article {MR1656901, AUTHOR = {Newelski, Ludomir}, TITLE = {{$\scr M$}-gap conjecture and m-normal theories}, JOURNAL = {Israel J. Math.}, FJOURNAL = {Israel Journal of Mathematics}, VOLUME = {106}, YEAR = {1998}, PAGES = {285--311}, ISSN = {0021-2172,1565-8511}, MRCLASS = {03C45}, MRNUMBER = {1656901}, MRREVIEWER = {John\ T.\ Baldwin}, DOI = {10.1007/BF02773473}, URL = {https://doi.org/10.1007/BF02773473}, } @article {MR1649071, AUTHOR = {Wagner, Frank O.}, TITLE = {Small fields}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {63}, YEAR = {1998}, NUMBER = {3}, PAGES = {995--1002}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C60 (12L12)}, MRNUMBER = {1649071}, MRREVIEWER = {M.\ A.\ Ta\u{\i}tslin}, DOI = {10.2307/2586722}, URL = {https://doi.org/10.2307/2586722}, } @inproceedings {MR1648054, AUTHOR = {Newelski, Ludomir}, TITLE = {Meager forking and {$m$}-independence}, BOOKTITLE = {Proceedings of the {I}nternational {C}ongress of {M}athematicians, {V}ol. {II} ({B}erlin, 1998)}, JOURNAL = {Doc. Math.}, FJOURNAL = {Documenta Mathematica}, YEAR = {1998}, NUMBER = {Extra Vol. II}, PAGES = {33--42}, ISSN = {1431-0635,1431-0643}, MRCLASS = {03C45}, MRNUMBER = {1648054}, MRREVIEWER = {U.\ Felgner}, } @article {MR1640658, AUTHOR = {Luo, Li Bo}, TITLE = {Vaught's conjecture for unary relations}, JOURNAL = {Acta Math. Sinica (Chinese Ser.)}, FJOURNAL = {Acta Mathematica Sinica. Chinese Series}, VOLUME = {41}, YEAR = {1998}, NUMBER = {3}, PAGES = {617--622}, ISSN = {0583-1431}, MRCLASS = {03C50}, MRNUMBER = {1640658}, } @article {MR1478843, AUTHOR = {Becker, Howard}, TITLE = {Polish group actions: dichotomies and generalized elementary embeddings}, JOURNAL = {J. Amer. Math. Soc.}, FJOURNAL = {Journal of the American Mathematical Society}, VOLUME = {11}, YEAR = {1998}, NUMBER = {2}, PAGES = {397--449}, ISSN = {0894-0347,1088-6834}, MRCLASS = {03E15 (03C15 22A05 28D15)}, MRNUMBER = {1478843}, MRREVIEWER = {Wim\ Veldman}, DOI = {10.1090/S0894-0347-98-00258-6}, URL = {https://doi.org/10.1090/S0894-0347-98-00258-6}, } @book {MR1425877, AUTHOR = {Becker, Howard and Kechris, Alexander S.}, TITLE = {The descriptive set theory of {P}olish group actions}, SERIES = {London Mathematical Society Lecture Note Series}, VOLUME = {232}, PUBLISHER = {Cambridge University Press, Cambridge}, YEAR = {1996}, PAGES = {xii+136}, ISBN = {0-521-57605-9}, MRCLASS = {54H05 (04A15 04A20 28A05)}, MRNUMBER = {1425877}, MRREVIEWER = {Klaas\ Pieter\ Hart}, DOI = {10.1017/CBO9780511735264}, URL = {https://doi.org/10.1017/CBO9780511735264}, } @article {MR1380693, AUTHOR = {Newelski, Ludomir}, TITLE = {On atomic or saturated sets}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {61}, YEAR = {1996}, NUMBER = {1}, PAGES = {318--333}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C45}, MRNUMBER = {1380693}, MRREVIEWER = {O.\ V.\ Belegradek}, DOI = {10.2307/2275614}, URL = {https://doi.org/10.2307/2275614}, } @article {MR1322936, AUTHOR = {Newelski, Ludomir}, TITLE = {On the prime model property}, JOURNAL = {Proc. Amer. Math. Soc.}, FJOURNAL = {Proceedings of the American Mathematical Society}, VOLUME = {124}, YEAR = {1996}, NUMBER = {8}, PAGES = {2519--2525}, ISSN = {0002-9939,1088-6826}, MRCLASS = {03C45 (03C15)}, MRNUMBER = {1322936}, MRREVIEWER = {O.\ V.\ Belegradek}, DOI = {10.1090/S0002-9939-96-03311-4}, URL = {https://doi.org/10.1090/S0002-9939-96-03311-4}, } @inproceedings {MR1403927, AUTHOR = {Louveau, Alain}, TITLE = {On the size of quotients by definable equivalence relations}, BOOKTITLE = {Proceedings of the {I}nternational {C}ongress of {M}athematicians, {V}ol. 1, 2 ({Z}\"{u}rich, 1994)}, PAGES = {269--276}, PUBLISHER = {Birkh\"{a}user, Basel}, YEAR = {1995}, ISBN = {3-7643-5153-5}, MRCLASS = {03E15 (54H05)}, MRNUMBER = {1403927}, MRREVIEWER = {Eva\ Coplakova}, } @article {MR1314978, AUTHOR = {Newelski, Ludomir}, TITLE = {{${\scr M}$}-rank and meager types}, JOURNAL = {Fund. Math.}, FJOURNAL = {Fundamenta Mathematicae}, VOLUME = {146}, YEAR = {1995}, NUMBER = {2}, PAGES = {121--139}, ISSN = {0016-2736,1730-6329}, MRCLASS = {03C45}, MRNUMBER = {1314978}, MRREVIEWER = {O.\ V.\ Belegradek}, DOI = {10.4064/fm-146-2-121-139}, URL = {https://doi.org/10.4064/fm-146-2-121-139}, } @article {MR1314468, AUTHOR = {Newelski, Ludomir}, TITLE = {A model and its subset: the uncountable case}, JOURNAL = {Ann. Pure Appl. Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {71}, YEAR = {1995}, NUMBER = {2}, PAGES = {107--129}, ISSN = {0168-0072,1873-2461}, MRCLASS = {03C45 (03C75)}, MRNUMBER = {1314468}, MRREVIEWER = {Anand\ Pillay}, DOI = {10.1016/0168-0072(95)91363-F}, URL = {https://doi.org/10.1016/0168-0072(95)91363-F}, } @article {MR1295968, AUTHOR = {Becker, Howard}, TITLE = {The topological {V}aught's conjecture and minimal counterexamples}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {59}, YEAR = {1994}, NUMBER = {3}, PAGES = {757--784}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03E15 (03C75 03E60 22D05 90D44)}, MRNUMBER = {1295968}, MRREVIEWER = {L.\ Bukovsk\'{y}}, DOI = {10.2307/2275907}, URL = {https://doi.org/10.2307/2275907}, } @article {MR1191612, AUTHOR = {Hart, Bradd and Starchenko, Sergei and Valeriote, Matthew}, TITLE = {Vaught's conjecture for varieties}, JOURNAL = {Trans. Amer. Math. Soc.}, FJOURNAL = {Transactions of the American Mathematical Society}, VOLUME = {342}, YEAR = {1994}, NUMBER = {1}, PAGES = {173--196}, ISSN = {0002-9947,1088-6850}, MRCLASS = {03C45 (03C05 03C60 08B99)}, MRNUMBER = {1191612}, MRREVIEWER = {John\ T.\ Baldwin}, DOI = {10.2307/2154689}, URL = {https://doi.org/10.2307/2154689}, } @article {MR1142779, AUTHOR = {Newelski, Ludomir}, TITLE = {On {$U$}-rank {$2$} types}, JOURNAL = {Trans. Amer. Math. Soc.}, FJOURNAL = {Transactions of the American Mathematical Society}, VOLUME = {344}, YEAR = {1994}, NUMBER = {2}, PAGES = {553--581}, ISSN = {0002-9947,1088-6850}, MRCLASS = {03C45}, MRNUMBER = {1142779}, MRREVIEWER = {Bruno\ Poizat}, DOI = {10.2307/2154495}, URL = {https://doi.org/10.2307/2154495}, } @incollection {MR1279832, AUTHOR = {Buechler, Steven and Newelski, Ludomir}, TITLE = {On the geometry of {$U$}-rank {$2$} types}, BOOKTITLE = {Logic {C}olloquium '90 ({H}elsinki, 1990)}, SERIES = {Lecture Notes Logic}, VOLUME = {2}, PAGES = {10--24}, PUBLISHER = {Springer, Berlin}, YEAR = {1993}, ISBN = {3-540-57094-2}, MRCLASS = {03C45 (03C60)}, MRNUMBER = {1279832}, MRREVIEWER = {Carlo\ Toffalori}, } @article {MR1233930, AUTHOR = {Newelski, Ludomir}, TITLE = {Scott analysis of pseudotypes}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {58}, YEAR = {1993}, NUMBER = {2}, PAGES = {648--663}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C45 (03C15)}, MRNUMBER = {1233930}, MRREVIEWER = {John\ T.\ Baldwin}, DOI = {10.2307/2275225}, URL = {https://doi.org/10.2307/2275225}, } @article {MR1146618, AUTHOR = {Toffalori, Carlo}, TITLE = {Classifying pairs of equivalence relations}, JOURNAL = {Notre Dame J. Formal Logic}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {32}, YEAR = {1991}, NUMBER = {4}, PAGES = {637--650 (1992)}, ISSN = {0029-4527,1939-0726}, MRCLASS = {03C45}, MRNUMBER = {1146618}, MRREVIEWER = {Mike\ Prest}, DOI = {10.1305/ndjfl/1093635935}, URL = {https://doi.org/10.1305/ndjfl/1093635935}, } @article {MR1129150, AUTHOR = {Itai, Masanori}, TITLE = {On the strong {M}artin conjecture}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {56}, YEAR = {1991}, NUMBER = {3}, PAGES = {862--875}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C45 (03C15)}, MRNUMBER = {1129150}, MRREVIEWER = {O.\ V.\ Belegradek}, DOI = {10.2307/2275055}, URL = {https://doi.org/10.2307/2275055}, } @article {MR1129148, AUTHOR = {Hart, Bradd and Valeriote, Matthew}, TITLE = {A structure theorem for strongly abelian varieties with few models}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {56}, YEAR = {1991}, NUMBER = {3}, PAGES = {832--852}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C05 (03C15 03C45 08B99)}, MRNUMBER = {1129148}, MRREVIEWER = {John\ T.\ Baldwin}, DOI = {10.2307/2275053}, URL = {https://doi.org/10.2307/2275053}, } @inproceedings {MR1133672, AUTHOR = {Buechler, Steven}, TITLE = {An outline of {V}aught's conjecture for unidimensional theories}, BOOKTITLE = {Proceedings of the {S}oviet-{F}rench {C}olloquium on {M}odel {T}heory ({R}ussian)}, PAGES = {14--26}, PUBLISHER = {Karagand. Gos. Univ., Karaganda}, YEAR = {1990}, MRCLASS = {03C15}, MRNUMBER = {1133672}, } @proceedings {MR1133671, TITLE = {{\cyr Trudy Sovet\cydot sko}-{\cyr Frantsuzskogo Kollokviuma po Teorii Modele\u{i}}}, PUBLISHER = {Karagand. Gos. Univ., Karaganda}, YEAR = {1990}, PAGES = {219}, MRCLASS = {03-06 (03Cxx)}, MRNUMBER = {1133671}, } @article {MR1075647, AUTHOR = {Pillay, Anand and Rothmaler, Philipp}, TITLE = {Non-totally transcendental unidimensional theories}, JOURNAL = {Arch. Math. Logic}, FJOURNAL = {Archive for Mathematical Logic}, VOLUME = {30}, YEAR = {1990}, NUMBER = {2}, PAGES = {93--111}, ISSN = {0933-5846,1432-0665}, MRCLASS = {03C45}, MRNUMBER = {1075647}, MRREVIEWER = {Bruno\ Poizat}, DOI = {10.1007/BF01634980}, URL = {https://doi.org/10.1007/BF01634980}, } @article {MR1074641, AUTHOR = {Newelski, Ludomir}, TITLE = {A proof of {S}affe's conjecture}, JOURNAL = {Fund. Math.}, FJOURNAL = {Polska Akademia Nauk. Fundamenta Mathematicae}, VOLUME = {134}, YEAR = {1990}, NUMBER = {2}, PAGES = {143--155}, ISSN = {0016-2736,1730-6329}, MRCLASS = {03C45}, MRNUMBER = {1074641}, MRREVIEWER = {John\ T.\ Baldwin}, DOI = {10.4064/fm-134-2-143-155}, URL = {https://doi.org/10.4064/fm-134-2-143-155}, } @incollection {MR1095589, AUTHOR = {Ba\u{\i}salov, E. R.}, TITLE = {Some results on support types in a superstable theory}, BOOKTITLE = {Model-theoretic algebra ({R}ussian)}, PAGES = {16--24}, PUBLISHER = {Kazakh. Gos. Univ., Alma Ata}, YEAR = {1989}, MRCLASS = {03C45 (03C15)}, MRNUMBER = {1095589}, } @article {MR991629, AUTHOR = {Howard, Mark}, TITLE = {Applications of {F}odor's lemma to {V}aught's conjecture}, JOURNAL = {Ann. Pure Appl. Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {42}, YEAR = {1989}, NUMBER = {1}, PAGES = {1--19}, ISSN = {0168-0072,1873-2461}, MRCLASS = {03C15 (03C75 03E05)}, MRNUMBER = {991629}, MRREVIEWER = {Bienvenido\ F.\ Nebres}, DOI = {10.1016/0168-0072(89)90063-8}, URL = {https://doi.org/10.1016/0168-0072(89)90063-8}, } @article {MR961013, AUTHOR = {Buechler, Steven}, TITLE = {The classification of small weakly minimal sets. {III}. {M}odules}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {53}, YEAR = {1988}, NUMBER = {3}, PAGES = {975--979}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C45 (03C15 03C60)}, MRNUMBER = {961013}, DOI = {10.2307/2274586}, URL = {https://doi.org/10.2307/2274586}, } @article {MR929381, AUTHOR = {Mayer, Laura L.}, TITLE = {Vaught's conjecture for o-minimal theories}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {53}, YEAR = {1988}, NUMBER = {1}, PAGES = {146--159}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C15}, MRNUMBER = {929381}, MRREVIEWER = {John\ T.\ Baldwin}, DOI = {10.2307/2274434}, URL = {https://doi.org/10.2307/2274434}, } @incollection {MR930932, AUTHOR = {Rothmaler, Philipp}, TITLE = {On a certain ideal}, BOOKTITLE = {Contributions to general algebra, 5 ({S}alzburg, 1986)}, PAGES = {309--312}, PUBLISHER = {H\"{o}lder-Pichler-Tempsky, Vienna}, YEAR = {1987}, ISBN = {3-209-00690-3}, MRCLASS = {03C60 (16A64)}, MRNUMBER = {930932}, MRREVIEWER = {Mike\ Prest}, } @incollection {MR895638, AUTHOR = {Buechler, Steven}, TITLE = {``{G}eometrical'' stability theory}, BOOKTITLE = {Logic colloquium '85 ({O}rsay, 1985)}, SERIES = {Stud. Logic Found. Math.}, VOLUME = {122}, PAGES = {53--66}, PUBLISHER = {North-Holland, Amsterdam}, YEAR = {1987}, ISBN = {0-444-70211-3}, MRCLASS = {03C45 (03C15 03C60)}, MRNUMBER = {895638}, MRREVIEWER = {Mike\ Prest}, DOI = {10.1016/S0049-237X(09)70547-6}, URL = {https://doi.org/10.1016/S0049-237X(09)70547-6}, } @book {MR2634593, AUTHOR = {Mayer, Laura Louise}, TITLE = {V{AUGHT}'{S} {CONJECTURE} {FOR} '{O}'-{MINIMAL} {THEORIES} ({MARTIN}'{S}, {KUEKER}'{S})}, NOTE = {Thesis (Ph.D.)--Yale University}, PUBLISHER = {ProQuest LLC, Ann Arbor, MI}, YEAR = {1985}, PAGES = {51}, MRCLASS = {Thesis}, MRNUMBER = {2634593}, URL = {http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:8601019}, } @book {MR2634570, AUTHOR = {Schneider, Todd Jeffrey}, TITLE = {O{N} {VAUGHT}'{S} {CONJECTURE} {AND} {THEORIES} {OF} {ORDER}}, NOTE = {Thesis (Ph.D.)--The Pennsylvania State University}, PUBLISHER = {ProQuest LLC, Ann Arbor, MI}, YEAR = {1985}, PAGES = {61}, MRCLASS = {Thesis}, MRNUMBER = {2634570}, URL = {http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:8526073}, } @book {MR2634375, AUTHOR = {Howard, Mark Gilbeau}, TITLE = {V{AUGHT}'{S} {CONJECTURE} {AND} {THE} {CLOSED} {UNBOUNDED} {FILTER} ({MODEL} {THEORY})}, NOTE = {Thesis (Ph.D.)--University of California, Berkeley}, PUBLISHER = {ProQuest LLC, Ann Arbor, MI}, YEAR = {1985}, PAGES = {51}, MRCLASS = {Thesis}, MRNUMBER = {2634375}, URL = {http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:8524986}, } @article {MR820129, AUTHOR = {Pillay, Anand and Steinhorn, Charles}, TITLE = {A note on nonmultidimensional superstable theories}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {50}, YEAR = {1985}, NUMBER = {4}, PAGES = {1020--1024 (1986)}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C45}, MRNUMBER = {820129}, DOI = {10.2307/2273987}, URL = {https://doi.org/10.2307/2273987}, } @article {MR820126, AUTHOR = {Lascar, Daniel}, TITLE = {Why some people are excited by {V}aught's conjecture}, JOURNAL = {J. Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {50}, YEAR = {1985}, NUMBER = {4}, PAGES = {973--982 (1986)}, ISSN = {0022-4812,1943-5886}, MRCLASS = {03C75 (03C15)}, MRNUMBER = {820126}, MRREVIEWER = {G.\ Fuhrken}, DOI = {10.2307/2273984}, URL = {https://doi.org/10.2307/2273984}, } @article {MR788270, AUTHOR = {Shelah, S. and Harrington, L. and Makkai, M.}, TITLE = {A proof of {V}aught's conjecture for {$\omega$}-stable theories}, JOURNAL = {Israel J. Math.}, FJOURNAL = {Israel Journal of Mathematics}, VOLUME = {49}, YEAR = {1984}, NUMBER = {1-3}, PAGES = {259--280}, ISSN = {0021-2172}, MRCLASS = {03C15 (03C45)}, MRNUMBER = {788270}, MRREVIEWER = {Daniel\ Lascar}, DOI = {10.1007/BF02760651}, URL = {https://doi.org/10.1007/BF02760651}, } @inproceedings {MR0526920, AUTHOR = {Steel, John R.}, TITLE = {On {V}aught's conjecture}, BOOKTITLE = {Cabal {S}eminar 76--77 ({P}roc. {C}altech-{UCLA} {L}ogic {S}em., 1976--77)}, SERIES = {Lecture Notes in Math.}, VOLUME = {689}, PAGES = {193--208}, PUBLISHER = {Springer, Berlin}, YEAR = {1978}, ISBN = {3-540-09086-*}, MRCLASS = {03C15 (03C70 03E15)}, MRNUMBER = {526920}, MRREVIEWER = {John\ Rosenthal}, } @article {MR739577, AUTHOR = {Ziegler, Martin}, TITLE = {Model theory of modules}, JOURNAL = {Ann. Pure Appl. Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {26}, YEAR = {1984}, NUMBER = {2}, PAGES = {149--213}, ISSN = {0168-0072,1873-2461}, MRCLASS = {03C60 (13C05 16A52)}, MRNUMBER = {739577}, MRREVIEWER = {Chantal\ Berline}, DOI = {10.1016/0168-0072(84)90014-9}, URL = {https://doi.org/10.1016/0168-0072(84)90014-9}, }