John T. Baldwin

According to our database, John T. Baldwin authored at least 66 papers between 1971 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2024

Maximal models up to the first measurable in ZFC.

John T. Baldwin, Saharon Shelah

J. Math. Log., April, 2024

2022

Hanf numbers for extendibility and related phenomena.

John T. Baldwin, Saharon Shelah

Arch. Math. Log., 2022

2020

The Reasonable Effectiveness of Model Theory in Mathematics.

John T. Baldwin

FLAP, 2020

2019

Complete L ω 1 , ω -sentences with maximal models in multiple cardinalities.

John T. Baldwin, Ioannis A. Souldatos

Math. Log. Q., 2019

Henkin Constructions of Models with Size continuum.

John T. Baldwin, Michael C. Laskowski

Bull. Symb. Log., 2019

2017

Disjoint Amalgamation in Locally Finite AEC.

John T. Baldwin, Martin Koerwien, Michael C. Laskowski

J. Symb. Log., 2017

Fundamentals of Stability Theory

John T. Baldwin

Perspectives in Logic 12, Cambridge University Press, ISBN: 9781316717035, 2017

2016

Constructing Many Atomic Models in ℵ1.

John T. Baldwin, Michael C. Laskowski, Saharon Shelah

J. Symb. Log., 2016

Iterated elementary embeddings and the model theory of infinitary logic.

John T. Baldwin, Paul B. Larson

Ann. Pure Appl. Log., 2016

The joint embedding property and maximal models.

John T. Baldwin, Martin Koerwien, Ioannis A. Souldatos

Arch. Math. Log., 2016

Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction.

John T. Baldwin

Proceedings of the Logic, Language, Information, and Computation, 2016

2015

Almost Galois <i>ω</i>-Stable Classes.

John T. Baldwin, Paul B. Larson, Saharon Shelah

J. Symb. Log., 2015

How Big Should the Monster Model Be?

John T. Baldwin

Proceedings of the Logic Without Borders, 2015

2014

A Hanf number for saturation and omission: the superstable case.

John T. Baldwin, Saharon Shelah

Math. Log. Q., 2014

Completeness and Categoricity (in Power): Formalization without foundationalism.

John T. Baldwin

Bull. Symb. Log., 2014

2013

Formalization, Primitive Concepts, and purity.

John T. Baldwin

Rev. Symb. Log., 2013

2012

The stability spectrum for Classes of Atomic Models.

John T. Baldwin, Saharon Shelah

J. Math. Log., 2012

2009

The amalgamation spectrum.

John T. Baldwin, Alexei Kolesnikov, Saharon Shelah

J. Symb. Log., 2009

2008

Examples of non-locality.

John T. Baldwin, Saharon Shelah

J. Symb. Log., 2008

2007

The Vaught Conjecture: Do Uncountable Models Count?

John T. Baldwin

Notre Dame J. Formal Log., 2007

'bottom'_N as an abstract elementary class.

John T. Baldwin, Paul C. Eklof, Jan Trlifaj

Ann. Pure Appl. Log., 2007

2006

Determined theories and limit laws.

John T. Baldwin, Marco Mazzucco

Inf. Comput., 2006

Uncountable categoricity of local abstract elementary classes with amalgamation.

John T. Baldwin, Olivier Lessmann

Ann. Pure Appl. Log., 2006

The metamathematics of random graphs.

John T. Baldwin

Ann. Pure Appl. Log., 2006

2005

Subsets of superstable structures are weakly benign.

Bektur Sembiuly Baizhanov, John T. Baldwin, Saharon Shelah

J. Symb. Log., 2005

2004

Local homogeneity.

Bektur Sembiuly Baizhanov, John T. Baldwin

J. Symb. Log., 2004

Notes on quasiminimality and excellence.

John T. Baldwin

Bull. Symb. Log., 2004

Constructing omega-stable structures: model completeness.

John T. Baldwin, Kitty L. Holland

Ann. Pure Appl. Log., 2004

2003

Constructing ω-stable Structures: Rank <i>k</i>-fields.

John T. Baldwin, Kitty L. Holland

Notre Dame J. Formal Log., 2003

Expansions of geometries.

John T. Baldwin

J. Symb. Log., 2003

2002

Amalgamation properties and finite models in Ln-theories.

John T. Baldwin, Olivier Lessmann

Arch. Math. Log., 2002

2001

Model Companions of T_Aut for Stable T.

John T. Baldwin, Saharon Shelah

Notre Dame J. Formal Log., 2001

2000

On the Classifiability of Cellular Automata.

John T. Baldwin, Saharon Shelah

Theor. Comput. Sci., 2000

Stability, the finite cover property and 0-1 laws.

John T. Baldwin

J. Log. Comput., 2000

Constructing omega-Stable Structures: Rank 2 Fields.

John T. Baldwin, Kitty L. Holland

J. Symb. Log., 2000

Finite and Infinite Model Theory - A Historical Perspective.

John T. Baldwin

Log. J. IGPL, 2000

1999

Transfering Saturation, The Finite Cover Property, and Stability.

John T. Baldwin, Rami P. Grossberg, Saharon Shelah

J. Symb. Log., 1999

Classification of delta-Invariant Amalgamation Classes.

Roman D. Arefev, John T. Baldwin, Marco Mazzucco

J. Symb. Log., 1999

1998

DOP and FCP in Generic Structures.

John T. Baldwin, Saharon Shelah

J. Symb. Log., 1998

Embedded Finite Models, Stability Theory and the Impact of Order.

John T. Baldwin, Michael Benedikt

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1996

Stable Generic Structures.

John T. Baldwin, Niandong Shi

Ann. Pure Appl. Log., 1996

1995

Abstract Classes with Few Models Have 'Homogeneous-Universal' Models.

John T. Baldwin, Saharon Shelah

J. Symb. Log., 1995

Near model completeness and 0-1 laws.

John T. Baldwin

Proceedings of the Logic and Random Structures, 1995

1994

<i>K</i>-generic Projective Planes have Morley Rank Two or Infinity.

John T. Baldwin, Masanori Itai

Math. Log. Q., 1994

1993

Forcing Isomorphism.

John T. Baldwin, Michael C. Laskowski, Saharon Shelah

J. Symb. Log., 1993

Preface: A Selection of Papers Presented at the "Stability in Model Theory III" Conference.

John T. Baldwin

Ann. Pure Appl. Log., 1993

1991

The Primal Framework II: Smoothness.

John T. Baldwin, Saharon Shelah

Ann. Pure Appl. Log., 1991

1990

The Spectrum of Resplendency.

John T. Baldwin

J. Symb. Log., 1990

The Primal Framework I.

John T. Baldwin, Saharon Shelah

Ann. Pure Appl. Log., 1990

1989

Diverse Classes.

John T. Baldwin

J. Symb. Log., 1989

Semisimple Stable and Superstable Groups.

John T. Baldwin, Anand Pillay

Ann. Pure Appl. Log., 1989

Papers presented at the Meeting on "Stability in Model Theory II", July 13-17, 1987, Trento, Italy - Preface.

John T. Baldwin, Annalisa Marcja

Ann. Pure Appl. Log., 1989

1988

Categoricity and generalized model completeness.

Gisela Ahlbrandt, John T. Baldwin

Arch. Math. Log., 1988

1987

Trivial pursuit: Remarks on the main gap.

John T. Baldwin, Leo Harrington

Ann. Pure Appl. Log., 1987

1985

Second-order quantifiers and the complexity of theories.

John T. Baldwin, Saharon Shelah

Notre Dame J. Formal Log., 1985

Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984.

John T. Baldwin, Matt Kaufmann, Julia F. Knight

J. Symb. Log., 1985

1984

First-order theories of abstract dependence relations.

John T. Baldwin

Ann. Pure Appl. Log., 1984

1982

Some Contributions to Definability Theory for Languages with Generalized Quantifiers.

John T. Baldwin, Douglas E. Miller

J. Symb. Log., 1982

1981

Meeting of the Association for Symbolic Logic: Biloxi, 1979.

Daniel Halpern, William W. Tait, John T. Baldwin

J. Symb. Log., 1981

1979

Stability Theory and Algebra.

John T. Baldwin

J. Symb. Log., 1979

1978

Some EC_∑ Classes of Rings.

John T. Baldwin

Math. Log. Q., 1978

1977

A Model Theoretic Approach to Malcev Conditions.

John T. Baldwin, Joel Berman

J. Symb. Log., 1977

1976

Meeting of the Association for Symbolic Logic.

John T. Baldwin, Donald A. Martin, Robert I. Soare, William W. Tait

J. Symb. Log., 1976

1972

Almost Strongly Minimal Theories. II.

John T. Baldwin

J. Symb. Log., 1972

Almost Strongly Minimal Theories. I.

John T. Baldwin

J. Symb. Log., 1972

1971

On Strongly Minimal Sets.

John T. Baldwin, Alistair H. Lachlan

J. Symb. Log., 1971