John T. Baldwin

Publication Activity (10 Years)

Years Active: 1971-2024
Publications (10 Years): 11

Top Topics

Parameter Estimation

Computer Algebra

Statistical Models

Reliability Assessment

Top Venues

Bull. Symb. Log.

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

John T. Baldwin, Viktor Verbovskiy
Towards a finer classification of strongly minimal sets. Ann. Pure Appl. Log. 175 (2) (2024)
John T. Baldwin, Saharon Shelah
Maximal models up to the first measurable in ZFC. J. Math. Log. 24 (1) (2024)
John T. Baldwin, Saharon Shelah
Hanf numbers for extendibility and related phenomena. Arch. Math. Log. 61 (3-4) (2022)
John T. Baldwin
The Reasonable Effectiveness of Model Theory in Mathematics. FLAP 7 (6) (2020)
John T. Baldwin, Michael C. Laskowski
Henkin Constructions of Models with Size continuum. Bull. Symb. Log. 25 (1) (2019)
John T. Baldwin, Ioannis A. Souldatos
Complete L ω 1 , ω -sentences with maximal models in multiple cardinalities. Math. Log. Q. 65 (4) (2019)
John T. Baldwin, Martin Koerwien, Michael C. Laskowski
Disjoint Amalgamation in Locally Finite AEC. J. Symb. Log. 82 (1) (2017)
John T. Baldwin
Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction. WoLLIC (2016)
John T. Baldwin, Paul B. Larson
Iterated elementary embeddings and the model theory of infinitary logic. Ann. Pure Appl. Log. 167 (3) (2016)
John T. Baldwin, Martin Koerwien, Ioannis A. Souldatos
The joint embedding property and maximal models. Arch. Math. Log. 55 (3-4) (2016)
John T. Baldwin, Michael C. Laskowski, Saharon Shelah
Constructing Many Atomic Models in ℵ1. J. Symb. Log. 81 (3) (2016)
John T. Baldwin, Paul B. Larson, Saharon Shelah
-Stable Classes. J. Symb. Log. 80 (3) (2015)
John T. Baldwin, Saharon Shelah
A Hanf number for saturation and omission: the superstable case. Math. Log. Q. 60 (6) (2014)
John T. Baldwin
Completeness and Categoricity (in Power): Formalization without foundationalism. Bull. Symb. Log. 20 (1) (2014)
John T. Baldwin
Formalization, Primitive Concepts, and purity. Rev. Symb. Log. 6 (1) (2013)
John T. Baldwin, Saharon Shelah
The stability spectrum for Classes of Atomic Models. J. Math. Log. 12 (1) (2012)
John T. Baldwin, Alexei Kolesnikov, Saharon Shelah
The amalgamation spectrum. J. Symb. Log. 74 (3) (2009)
John T. Baldwin, Saharon Shelah
Examples of non-locality. J. Symb. Log. 73 (3) (2008)
John T. Baldwin
The Vaught Conjecture: Do Uncountable Models Count? Notre Dame J. Formal Log. 48 (1) (2007)
John T. Baldwin, Paul C. Eklof, Jan Trlifaj
as an abstract elementary class. Ann. Pure Appl. Log. 149 (1-3) (2007)
John T. Baldwin, Olivier Lessmann
Uncountable categoricity of local abstract elementary classes with amalgamation. Ann. Pure Appl. Log. 143 (1-3) (2006)
John T. Baldwin
The metamathematics of random graphs. Ann. Pure Appl. Log. 143 (1-3) (2006)
John T. Baldwin, Marco Mazzucco
Determined theories and limit laws. Inf. Comput. 204 (7) (2006)
Bektur Sembiuly Baizhanov, John T. Baldwin, Saharon Shelah
Subsets of superstable structures are weakly benign. J. Symb. Log. 70 (1) (2005)
John T. Baldwin
Notes on quasiminimality and excellence. Bull. Symb. Log. 10 (3) (2004)
John T. Baldwin, Kitty L. Holland
Constructing omega-stable structures: model completeness. Ann. Pure Appl. Log. 125 (1-3) (2004)
Bektur Sembiuly Baizhanov, John T. Baldwin
Local homogeneity. J. Symb. Log. 69 (4) (2004)
John T. Baldwin
Expansions of geometries. J. Symb. Log. 68 (3) (2003)
John T. Baldwin, Kitty L. Holland
-fields. Notre Dame J. Formal Log. 44 (3) (2003)
John T. Baldwin, Olivier Lessmann
Amalgamation properties and finite models in Ln-theories. Arch. Math. Log. 41 (2) (2002)
John T. Baldwin, Saharon Shelah
for Stable T. Notre Dame J. Formal Log. 42 (3) (2001)
John T. Baldwin
Finite and Infinite Model Theory - A Historical Perspective. Log. J. IGPL 8 (5) (2000)
John T. Baldwin
Stability, the finite cover property and 0-1 laws. J. Log. Comput. 10 (2) (2000)
John T. Baldwin, Saharon Shelah
On the Classifiability of Cellular Automata. Theor. Comput. Sci. 230 (1-2) (2000)
John T. Baldwin, Kitty L. Holland
Constructing omega-Stable Structures: Rank 2 Fields. J. Symb. Log. 65 (1) (2000)
John T. Baldwin, Rami P. Grossberg, Saharon Shelah
Transfering Saturation, The Finite Cover Property, and Stability. J. Symb. Log. 64 (2) (1999)
Roman D. Arefev, John T. Baldwin, Marco Mazzucco
Classification of delta-Invariant Amalgamation Classes. J. Symb. Log. 64 (4) (1999)
John T. Baldwin, Saharon Shelah
DOP and FCP in Generic Structures. J. Symb. Log. 63 (2) (1998)
John T. Baldwin, Michael Benedikt
Embedded Finite Models, Stability Theory and the Impact of Order. LICS (1998)
John T. Baldwin, Niandong Shi
Stable Generic Structures. Ann. Pure Appl. Log. 79 (1) (1996)
John T. Baldwin
Near model completeness and 0-1 laws. Logic and Random Structures (1995)
John T. Baldwin, Saharon Shelah
Abstract Classes with Few Models Have 'Homogeneous-Universal' Models. J. Symb. Log. 60 (1) (1995)
John T. Baldwin, Masanori Itai
-generic Projective Planes have Morley Rank Two or Infinity. Math. Log. Q. 40 (1994)
John T. Baldwin
Preface: A Selection of Papers Presented at the "Stability in Model Theory III" Conference. Ann. Pure Appl. Log. 62 (2) (1993)
John T. Baldwin, Michael C. Laskowski, Saharon Shelah
Forcing Isomorphism. J. Symb. Log. 58 (4) (1993)
John T. Baldwin, Saharon Shelah
The Primal Framework II: Smoothness. Ann. Pure Appl. Log. 55 (1) (1991)
John T. Baldwin, Saharon Shelah
The Primal Framework I. Ann. Pure Appl. Log. 46 (3) (1990)
John T. Baldwin
The Spectrum of Resplendency. J. Symb. Log. 55 (2) (1990)
John T. Baldwin
Diverse Classes. J. Symb. Log. 54 (3) (1989)
John T. Baldwin, Annalisa Marcja
Papers presented at the Meeting on "Stability in Model Theory II", July 13-17, 1987, Trento, Italy - Preface. Ann. Pure Appl. Log. 45 (2) (1989)
John T. Baldwin, Anand Pillay
Semisimple Stable and Superstable Groups. Ann. Pure Appl. Log. 45 (2) (1989)
Gisela Ahlbrandt, John T. Baldwin
Categoricity and generalized model completeness. Arch. Math. Log. 27 (1) (1988)
John T. Baldwin, Leo Harrington
Trivial pursuit: Remarks on the main gap. Ann. Pure Appl. Log. 34 (3) (1987)
John T. Baldwin, Matt Kaufmann, Julia F. Knight
Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984. J. Symb. Log. 50 (1) (1985)
John T. Baldwin, Saharon Shelah
Second-order quantifiers and the complexity of theories. Notre Dame J. Formal Log. 26 (3) (1985)
John T. Baldwin
First-order theories of abstract dependence relations. Ann. Pure Appl. Log. 26 (3) (1984)
John T. Baldwin, Douglas E. Miller
Some Contributions to Definability Theory for Languages with Generalized Quantifiers. J. Symb. Log. 47 (3) (1982)
Daniel Halpern, William W. Tait, John T. Baldwin
Meeting of the Association for Symbolic Logic: Biloxi, 1979. J. Symb. Log. 46 (1) (1981)
John T. Baldwin
Stability Theory and Algebra. J. Symb. Log. 44 (4) (1979)
John T. Baldwin
Classes of Rings. Math. Log. Q. 24 (31-36) (1978)
John T. Baldwin, Joel Berman
A Model Theoretic Approach to Malcev Conditions. J. Symb. Log. 42 (2) (1977)
John T. Baldwin, Donald A. Martin, Robert I. Soare, William W. Tait
Meeting of the Association for Symbolic Logic. J. Symb. Log. 41 (2) (1976)
John T. Baldwin
Almost Strongly Minimal Theories. II. J. Symb. Log. 37 (4) (1972)
John T. Baldwin
Almost Strongly Minimal Theories. I. J. Symb. Log. 37 (3) (1972)
John T. Baldwin, Alistair H. Lachlan
On Strongly Minimal Sets. J. Symb. Log. 36 (1) (1971)