On Strongly Minimal Sets. - John T. Baldwin 001; Alistair H. Lachlan (J. Symb. Log., 1971)

Almost Strongly Minimal Theories. I. - John T. Baldwin 001 (J. Symb. Log., 1972)

Almost Strongly Minimal Theories. II. - John T. Baldwin 001 (J. Symb. Log., 1972)

Meeting of the Association for Symbolic Logic. - John T. Baldwin 001; Donald A. Martin; Robert I. Soare; William W. Tait (J. Symb. Log., 1976)

A Model Theoretic Approach to Malcev Conditions. - John T. Baldwin 001; Joel Berman (J. Symb. Log., 1977)

Some EC∑ Classes of Rings. - John T. Baldwin 001 (Math. Log. Q., 1978)

Stability Theory and Algebra. - John T. Baldwin 001 (J. Symb. Log., 1979)

Meeting of the Association for Symbolic Logic: Biloxi, 1979. - Daniel Halpern; William W. Tait; John T. Baldwin 001 (J. Symb. Log., 1981)

Some Contributions to Definability Theory for Languages with Generalized Quantifiers. - John T. Baldwin 001; Douglas E. Miller (J. Symb. Log., 1982)

First-order theories of abstract dependence relations. - John T. Baldwin 001 (Ann. Pure Appl. Log., 1984)

Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984. - John T. Baldwin 001; Matt Kaufmann; Julia F. Knight (J. Symb. Log., 1985)

Second-order quantifiers and the complexity of theories. - John T. Baldwin 001; Saharon Shelah (Notre Dame J. Formal Log., 1985)

Trivial pursuit: Remarks on the main gap. - John T. Baldwin 001; Leo Harrington (Ann. Pure Appl. Log., 1987)

Categoricity and generalized model completeness. - Gisela Ahlbrandt; John T. Baldwin 001 (Arch. Math. Log., 1988)

Papers presented at the Meeting on "Stability in Model Theory II", July 13-17, 1987, Trento, Italy - Preface. - John T. Baldwin 001; Annalisa Marcja (Ann. Pure Appl. Log., 1989)

Semisimple Stable and Superstable Groups. - John T. Baldwin 001; Anand Pillay (Ann. Pure Appl. Log., 1989)

Diverse Classes. - John T. Baldwin 001 (J. Symb. Log., 1989)

The Primal Framework I. - John T. Baldwin 001; Saharon Shelah (Ann. Pure Appl. Log., 1990)

The Spectrum of Resplendency. - John T. Baldwin 001 (J. Symb. Log., 1990)

The Primal Framework II: Smoothness. - John T. Baldwin 001; Saharon Shelah (Ann. Pure Appl. Log., 1991)

Preface: A Selection of Papers Presented at the "Stability in Model Theory III" Conference. - John T. Baldwin 001 (Ann. Pure Appl. Log., 1993)

Forcing Isomorphism. - John T. Baldwin 001; Michael C. Laskowski; Saharon Shelah (J. Symb. Log., 1993)

K-generic Projective Planes have Morley Rank Two or Infinity. - John T. Baldwin 001; Masanori Itai (Math. Log. Q., 1994)

Near model completeness and 0-1 laws. - John T. Baldwin 001 (Logic and Random Structures, 1995)

Abstract Classes with Few Models Have 'Homogeneous-Universal' Models. - John T. Baldwin 001; Saharon Shelah (J. Symb. Log., 1995)

Stable Generic Structures. - John T. Baldwin 001; Niandong Shi (Ann. Pure Appl. Log., 1996)

Embedded Finite Models, Stability Theory and the Impact of Order. - John T. Baldwin 001; Michael Benedikt (LICS, 1998)

DOP and FCP in Generic Structures. - John T. Baldwin 001; Saharon Shelah (J. Symb. Log., 1998)

Classification of delta-Invariant Amalgamation Classes. - Roman D. Arefev; John T. Baldwin 001; Marco Mazzucco (J. Symb. Log., 1999)

Transfering Saturation, The Finite Cover Property, and Stability. - John T. Baldwin 001; Rami P. Grossberg; Saharon Shelah (J. Symb. Log., 1999)

Finite and Infinite Model Theory - A Historical Perspective. - John T. Baldwin 001 (Log. J. IGPL, 2000)

Constructing omega-Stable Structures: Rank 2 Fields. - John T. Baldwin 001; Kitty L. Holland (J. Symb. Log., 2000)

Stability, the finite cover property and 0-1 laws. - John T. Baldwin 001 (J. Log. Comput., 2000)

On the Classifiability of Cellular Automata. - John T. Baldwin 001; Saharon Shelah (Theor. Comput. Sci., 2000)

Model Companions of TAut for Stable T. - John T. Baldwin 001; Saharon Shelah (Notre Dame J. Formal Log., 2001)

Amalgamation properties and finite models in Ln-theories. - John T. Baldwin 001; Olivier Lessmann (Arch. Math. Log., 2002)

Expansions of geometries. - John T. Baldwin 001 (J. Symb. Log., 2003)

Constructing ω-stable Structures: Rank k-fields. - John T. Baldwin 001; Kitty L. Holland (Notre Dame J. Formal Log., 2003)

Constructing omega-stable structures: model completeness. - John T. Baldwin 001; Kitty L. Holland (Ann. Pure Appl. Log., 2004)

Notes on quasiminimality and excellence. - John T. Baldwin 001 (Bull. Symb. Log., 2004)

Local homogeneity. - Bektur Sembiuly Baizhanov; John T. Baldwin 001 (J. Symb. Log., 2004)

Subsets of superstable structures are weakly benign. - Bektur Sembiuly Baizhanov; John T. Baldwin 001; Saharon Shelah (J. Symb. Log., 2005)

The metamathematics of random graphs. - John T. Baldwin 001 (Ann. Pure Appl. Log., 2006)

Uncountable categoricity of local abstract elementary classes with amalgamation. - John T. Baldwin 001; Olivier Lessmann (Ann. Pure Appl. Log., 2006)

Determined theories and limit laws. - John T. Baldwin 001; Marco Mazzucco (Inf. Comput., 2006)

'bottom'N as an abstract elementary class. - John T. Baldwin 001; Paul C. Eklof; Jan Trlifaj (Ann. Pure Appl. Log., 2007)

The Vaught Conjecture: Do Uncountable Models Count? - John T. Baldwin 001 (Notre Dame J. Formal Log., 2007)

Examples of non-locality. - John T. Baldwin 001; Saharon Shelah (J. Symb. Log., 2008)

The amalgamation spectrum. - John T. Baldwin 001; Alexei Kolesnikov; Saharon Shelah (J. Symb. Log., 2009)

The stability spectrum for Classes of Atomic Models. - John T. Baldwin 001; Saharon Shelah (J. Math. Log., 2012)

Formalization, Primitive Concepts, and purity. - John T. Baldwin 001 (Rev. Symb. Log., 2013)

Completeness and Categoricity (in Power): Formalization without foundationalism. - John T. Baldwin 001 (Bull. Symb. Log., 2014)

A Hanf number for saturation and omission: the superstable case. - John T. Baldwin 001; Saharon Shelah (Math. Log. Q., 2014)

How Big Should the Monster Model Be? - John T. Baldwin 001 (Logic Without Borders, 2015)

Almost Galois ω-Stable Classes. - John T. Baldwin 001; Paul B. Larson; Saharon Shelah (J. Symb. Log., 2015)

Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction. - John T. Baldwin 001 (WoLLIC, 2016)

The joint embedding property and maximal models. - John T. Baldwin 001; Martin Koerwien; Ioannis A. Souldatos (Arch. Math. Log., 2016)

Iterated elementary embeddings and the model theory of infinitary logic. - John T. Baldwin 001; Paul B. Larson (Ann. Pure Appl. Log., 2016)

Constructing Many Atomic Models in ℵ1. - John T. Baldwin 001; Michael C. Laskowski; Saharon Shelah (J. Symb. Log., 2016)

Fundamentals of Stability Theory - John T. Baldwin 001 (Cambridge University Press, 2017)

Disjoint Amalgamation in Locally Finite AEC. - John T. Baldwin 001; Martin Koerwien; Michael C. Laskowski (J. Symb. Log., 2017)

Henkin Constructions of Models with Size continuum. - John T. Baldwin 001; Michael C. Laskowski (Bull. Symb. Log., 2019)

Complete L ω 1 , ω -sentences with maximal models in multiple cardinalities. - John T. Baldwin 001; Ioannis A. Souldatos (Math. Log. Q., 2019)

The Reasonable Effectiveness of Model Theory in Mathematics. - John T. Baldwin 001 (FLAP, 2020)

Hanf numbers for extendibility and related phenomena. - John T. Baldwin 001; Saharon Shelah (Arch. Math. Log., 2022)

Towards a finer classification of strongly minimal sets. - John T. Baldwin 001; Viktor Verbovskiy (Ann. Pure Appl. Log., 2024)

Maximal models up to the first measurable in ZFC. - John T. Baldwin 001; Saharon Shelah (J. Math. Log., 2024)