John T. Baldwin

66 papers A* 1C 1Journal 61Unranked 1

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Maximal models up to the first measurable in ZFC. J. Math. Log. John T. Baldwin, Saharon Shelah
2024	J	`jnl`	Towards a finer classification of strongly minimal sets. Ann. Pure Appl. Log. John T. Baldwin, Viktor Verbovskiy
2022	J	`jnl`	Hanf numbers for extendibility and related phenomena. Arch. Math. Log. John T. Baldwin, Saharon Shelah
2020	J	`jnl`	The Reasonable Effectiveness of Model Theory in Mathematics. FLAP John T. Baldwin
2019	J	`jnl`	Complete L ω 1 , ω -sentences with maximal models in multiple cardinalities. Math. Log. Q. John T. Baldwin, Ioannis A. Souldatos
2019	J	`jnl`	Henkin Constructions of Models with Size continuum. Bull. Symb. Log. John T. Baldwin, Michael C. Laskowski
2017	J	`jnl`	Disjoint Amalgamation in Locally Finite AEC. J. Symb. Log. John T. Baldwin, Martin Koerwien, Michael C. Laskowski
2017	—	`book`	Fundamentals of Stability Theory John T. Baldwin
2016	J	`jnl`	Constructing Many Atomic Models in ℵ1. J. Symb. Log. John T. Baldwin, Michael C. Laskowski, Saharon Shelah
2016	C	`conf`	Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction. WoLLIC John T. Baldwin
2016	J	`jnl`	Iterated elementary embeddings and the model theory of infinitary logic. Ann. Pure Appl. Log. John T. Baldwin, Paul B. Larson
2016	J	`jnl`	The joint embedding property and maximal models. Arch. Math. Log. John T. Baldwin, Martin Koerwien, Ioannis A. Souldatos
2015	J	`jnl`	Almost Galois J. Symb. Log. John T. Baldwin, Paul B. Larson, Saharon Shelah
2015	—	`ch.`	How Big Should the Monster Model Be? Logic Without Borders John T. Baldwin
2014	J	`jnl`	A Hanf number for saturation and omission: the superstable case. Math. Log. Q. John T. Baldwin, Saharon Shelah
2014	J	`jnl`	Completeness and Categoricity (in Power): Formalization without foundationalism. Bull. Symb. Log. John T. Baldwin
2013	J	`jnl`	Formalization, Primitive Concepts, and purity. Rev. Symb. Log. John T. Baldwin
2012	J	`jnl`	The stability spectrum for Classes of Atomic Models. J. Math. Log. John T. Baldwin, Saharon Shelah
2009	J	`jnl`	The amalgamation spectrum. J. Symb. Log. John T. Baldwin, Alexei Kolesnikov, Saharon Shelah
2008	J	`jnl`	Examples of non-locality. J. Symb. Log. John T. Baldwin, Saharon Shelah
2007	J	`jnl`	'bottom' Ann. Pure Appl. Log. John T. Baldwin, Paul C. Eklof, Jan Trlifaj
2007	J	`jnl`	The Vaught Conjecture: Do Uncountable Models Count? Notre Dame J. Formal Log. John T. Baldwin
2006	J	`jnl`	Determined theories and limit laws. Inf. Comput. John T. Baldwin, Marco Mazzucco
2006	J	`jnl`	The metamathematics of random graphs. Ann. Pure Appl. Log. John T. Baldwin
2006	J	`jnl`	Uncountable categoricity of local abstract elementary classes with amalgamation. Ann. Pure Appl. Log. John T. Baldwin, Olivier Lessmann
2005	J	`jnl`	Subsets of superstable structures are weakly benign. J. Symb. Log. Bektur Sembiuly Baizhanov, John T. Baldwin, Saharon Shelah
2004	J	`jnl`	Constructing omega-stable structures: model completeness. Ann. Pure Appl. Log. John T. Baldwin, Kitty L. Holland
2004	J	`jnl`	Local homogeneity. J. Symb. Log. Bektur Sembiuly Baizhanov, John T. Baldwin
2004	J	`jnl`	Notes on quasiminimality and excellence. Bull. Symb. Log. John T. Baldwin
2003	J	`jnl`	Constructing ω-stable Structures: Rank Notre Dame J. Formal Log. John T. Baldwin, Kitty L. Holland
2003	J	`jnl`	Expansions of geometries. J. Symb. Log. John T. Baldwin
2002	J	`jnl`	Amalgamation properties and finite models in Ln-theories. Arch. Math. Log. John T. Baldwin, Olivier Lessmann
2001	J	`jnl`	Model Companions of T Notre Dame J. Formal Log. John T. Baldwin, Saharon Shelah
2000	J	`jnl`	Constructing omega-Stable Structures: Rank 2 Fields. J. Symb. Log. John T. Baldwin, Kitty L. Holland
2000	J	`jnl`	Finite and Infinite Model Theory - A Historical Perspective. Log. J. IGPL John T. Baldwin
2000	J	`jnl`	On the Classifiability of Cellular Automata. Theor. Comput. Sci. John T. Baldwin, Saharon Shelah
2000	J	`jnl`	Stability, the finite cover property and 0-1 laws. J. Log. Comput. John T. Baldwin
1999	J	`jnl`	Classification of delta-Invariant Amalgamation Classes. J. Symb. Log. Roman D. Arefev, John T. Baldwin, Marco Mazzucco
1999	J	`jnl`	Transfering Saturation, The Finite Cover Property, and Stability. J. Symb. Log. John T. Baldwin, Rami P. Grossberg, Saharon Shelah
1998	J	`jnl`	DOP and FCP in Generic Structures. J. Symb. Log. John T. Baldwin, Saharon Shelah
1998	A*	`conf`	Embedded Finite Models, Stability Theory and the Impact of Order. LICS John T. Baldwin, Michael Benedikt
1996	J	`jnl`	Stable Generic Structures. Ann. Pure Appl. Log. John T. Baldwin, Niandong Shi
1995	J	`jnl`	Abstract Classes with Few Models Have 'Homogeneous-Universal' Models. J. Symb. Log. John T. Baldwin, Saharon Shelah
1995	—	`conf`	Near model completeness and 0-1 laws. Logic and Random Structures John T. Baldwin
1993	J	`jnl`	Forcing Isomorphism. J. Symb. Log. John T. Baldwin, Michael C. Laskowski, Saharon Shelah
1993	J	`jnl`	Preface: A Selection of Papers Presented at the "Stability in Model Theory III" Conference. Ann. Pure Appl. Log. John T. Baldwin
1991	J	`jnl`	The Primal Framework II: Smoothness. Ann. Pure Appl. Log. John T. Baldwin, Saharon Shelah
1990	J	`jnl`	The Primal Framework I. Ann. Pure Appl. Log. John T. Baldwin, Saharon Shelah
1990	J	`jnl`	The Spectrum of Resplendency. J. Symb. Log. John T. Baldwin
1989	J	`jnl`	Diverse Classes. J. Symb. Log. John T. Baldwin
1989	J	`jnl`	Papers presented at the Meeting on "Stability in Model Theory II", July 13-17, 1987, Trento, Italy - Preface. Ann. Pure Appl. Log. John T. Baldwin, Annalisa Marcja
1989	J	`jnl`	Semisimple Stable and Superstable Groups. Ann. Pure Appl. Log. John T. Baldwin, Anand Pillay
1988	J	`jnl`	Categoricity and generalized model completeness. Arch. Math. Log. Gisela Ahlbrandt, John T. Baldwin
1987	J	`jnl`	Trivial pursuit: Remarks on the main gap. Ann. Pure Appl. Log. John T. Baldwin, Leo Harrington
1985	J	`jnl`	Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984. J. Symb. Log. John T. Baldwin, Matt Kaufmann, Julia F. Knight
1985	J	`jnl`	Second-order quantifiers and the complexity of theories. Notre Dame J. Formal Log. John T. Baldwin, Saharon Shelah
1984	J	`jnl`	First-order theories of abstract dependence relations. Ann. Pure Appl. Log. John T. Baldwin
1982	J	`jnl`	Some Contributions to Definability Theory for Languages with Generalized Quantifiers. J. Symb. Log. John T. Baldwin, Douglas E. Miller
1981	J	`jnl`	Meeting of the Association for Symbolic Logic: Biloxi, 1979. J. Symb. Log. Daniel Halpern, William W. Tait, John T. Baldwin
1979	J	`jnl`	Stability Theory and Algebra. J. Symb. Log. John T. Baldwin
1978	J	`jnl`	Some EC Math. Log. Q. John T. Baldwin
1977	J	`jnl`	A Model Theoretic Approach to Malcev Conditions. J. Symb. Log. John T. Baldwin, Joel Berman
1976	J	`jnl`	Meeting of the Association for Symbolic Logic. J. Symb. Log. John T. Baldwin, Donald A. Martin, Robert I. Soare, William W. Tait
1972	J	`jnl`	Almost Strongly Minimal Theories. I. J. Symb. Log. John T. Baldwin
1972	J	`jnl`	Almost Strongly Minimal Theories. II. J. Symb. Log. John T. Baldwin
1971	J	`jnl`	On Strongly Minimal Sets. J. Symb. Log. John T. Baldwin, Alistair H. Lachlan