- Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.details
|
|
(1 other version)Second order logic or set theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.details
|
|
(1 other version)What Do We Want a Foundation to Do?Penelope Maddy - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 293-311.details
|
|
Completeness and the Ends of Axiomatization.Michael Detlefsen - 2014 - In Juliette Kennedy (ed.), Interpreting Gödel: Critical Essays. Cambridge: Cambridge University Press. pp. 59-77.details
|
|
(2 other versions)Set Theory.T. Jech - 2005 - Bulletin of Symbolic Logic 11 (2):243-245.details
|
|
(1 other version)A proof of morley's conjecture.Bradd Hart - 1989 - Journal of Symbolic Logic 54 (4):1346-1358.details
|
|
Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.details
|
|
Realization of φ -types and Keisler’s order.M. E. Malliaris - 2009 - Annals of Pure and Applied Logic 157 (2-3):220-224.details
|
|
Princeton Companion to Mathematics.T. Gowers (ed.) - 2008 - Princeton University Press.details
|
|
Diophantine geometry from model theory.Thomas Scanlon - 2001 - Bulletin of Symbolic Logic 7 (1):37-57.details
|
|
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.details
|
|
Club Guessing and the Universal Models.Mirna Džamonja - 2005 - Notre Dame Journal of Formal Logic 46 (3):283-300.details
|
|
Independence results.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):563-573.details
|
|
Nonexistence of universal orders in many cardinals.Menachem Kojman & Saharon Shelah - 1992 - Journal of Symbolic Logic 57 (3):875-891.details
|
|
(1 other version)A proof of Morley's conjecture.Bradd Hart - 1989 - Journal of Symbolic Logic 54 (4):1346-1358.details
|
|
An Overview of Saharon Shelah's Contributions to Mathematical Logic, in Particular to Model Theory.Jouko Väänänen - 2020 - Theoria 87 (2):349-360.details
|
|
Indiscernible Extraction and Morley Sequences.Sebastien Vasey - 2017 - Notre Dame Journal of Formal Logic 58 (1):127-132.details
|
|
Toward classifying unstable theories.Saharon Shelah - 1996 - Annals of Pure and Applied Logic 80 (3):229-255.details
|
|
Simple unstable theories.Saharon Shelah - 1980 - Annals of Mathematical Logic 19 (3):177.details
|
|
Infinite Abelian Groups, Whitehead Problem and some Constructions.Saharon Shelah & Shai Ben-David - 1986 - Journal of Symbolic Logic 51 (4):1068-1070.details
|
|
Divide and Conquer: Dividing Lines and Universality.Saharon Shelah - 2021 - Theoria 87 (2):259-348.details
|
|
On model-theoretic tree properties.Artem Chernikov & Nicholas Ramsey - 2016 - Journal of Mathematical Logic 16 (2):1650009.details
|
|
Complete Theories.Abraham Robinson - 1977 - North-Holland.details
|
|
Model Theory and Modules.Mike Prest - 1989 - Journal of Symbolic Logic 54 (3):1115-1118.details
|
|
Algebraic description of limit models in classes of abelian groups.Marcos Mazari-Armida - 2020 - Annals of Pure and Applied Logic 171 (1):102723.details
|
|
Some definable galois theory and examples.Omar León Sánchez & Anand Pillay - 2017 - Bulletin of Symbolic Logic 23 (2):145-159.details
|
|
On universal modules with pure embeddings.Thomas G. Kucera & Marcos Mazari-Armida - 2020 - Mathematical Logic Quarterly 66 (4):395-408.details
|
|
The universality spectrum of stable unsuperstable theories.Menachem Kojman & Saharon Shelah - 1992 - Annals of Pure and Applied Logic 58 (1):57-72.details
|
|
(1 other version)Ultraproducts Which are Not Saturated.H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (4):585-585.details
|
|
(1 other version)Ultraproducts which are not saturated.H. Jerome Keisler - 1967 - Journal of Symbolic Logic 32 (1):23-46.details
|
|
Maryanthe Malliaris and Saharon Shelah, Cofinality spectrum problems in model theory, set theory and general topology. Journal of the American Mathematical Society, vol. 29 , pp. 237–297. - Maryanthe Malliaris and Saharon Shelah, Existence of optimal ultrafilters and the fundamental complexity of simple theories. Advances in Mathematics, vol. 290 , pp. 614–681. - Maryanthe Malliaris and Saharon Shelah, Keisler’s order has infinitely many classes. Israel Journal of Mathematics, to appear, https://math.uchicago.edu/∼mem/. [REVIEW]H. Jerome Keisler - 2017 - Bulletin of Symbolic Logic 23 (1):117-121.details
|
|
Universal Relational Systems.B. Jonsson - 1967 - Journal of Symbolic Logic 32 (4):534-535.details
|
|
Canonical structure in the universe of set theory: part one.James Cummings, Matthew Foreman & Menachem Magidor - 2004 - Annals of Pure and Applied Logic 129 (1-3):211-243.details
|
|
Model theory and machine learning.Hunter Chase & James Freitag - 2019 - Bulletin of Symbolic Logic 25 (3):319-332.details
|
|
The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.details
|
|
Diophantine Problems Over Local Fields I.James Ax & Simon Kochen - 1971 - Journal of Symbolic Logic 36 (4):683-684.details
|
|
Model Theory and the Philosophy of Mathematical Practice: Formalization Without Foundationalism.John T. Baldwin - 2018 - Cambridge University Press.details
|
|
(2 other versions)Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.details
|
|
The Princeton Companion to Mathematics.Timothy Gowers, June Barrow-Green & Imre Leader - 2009 - Bulletin of Symbolic Logic 15 (4):431-436.details
|
|