John T. Baldwin

Orcid: 0000-0002-0185-5196

Affiliations:
  • University of Illinois at Chicago, Department of Mathematics, Statistics and Computer Science


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Maximal models up to the first measurable in ZFC.
J. Math. Log., April, 2024

Towards a finer classification of strongly minimal sets.
Ann. Pure Appl. Log., 2024

2022
Hanf numbers for extendibility and related phenomena.
Arch. Math. Log., 2022

2020
The Reasonable Effectiveness of Model Theory in Mathematics.
FLAP, 2020

2019
Complete L ω 1 , ω -sentences with maximal models in multiple cardinalities.
Math. Log. Q., 2019

Henkin Constructions of Models with Size continuum.
Bull. Symb. Log., 2019

2017
Disjoint Amalgamation in Locally Finite AEC.
J. Symb. Log., 2017

Fundamentals of Stability Theory
Perspectives in Logic 12, Cambridge University Press, ISBN: 9781316717035, 2017

2016
Constructing Many Atomic Models in ℵ1.
J. Symb. Log., 2016

Iterated elementary embeddings and the model theory of infinitary logic.
Ann. Pure Appl. Log., 2016

The joint embedding property and maximal models.
Arch. Math. Log., 2016

Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction.
Proceedings of the Logic, Language, Information, and Computation, 2016

2015
Almost Galois <i>ω</i>-Stable Classes.
J. Symb. Log., 2015

How Big Should the Monster Model Be?
Proceedings of the Logic Without Borders, 2015

2014
A Hanf number for saturation and omission: the superstable case.
Math. Log. Q., 2014

Completeness and Categoricity (in Power): Formalization without foundationalism.
Bull. Symb. Log., 2014

2013
Formalization, Primitive Concepts, and purity.
Rev. Symb. Log., 2013

2012
The stability spectrum for Classes of Atomic Models.
J. Math. Log., 2012

2009
The amalgamation spectrum.
J. Symb. Log., 2009

2008
Examples of non-locality.
J. Symb. Log., 2008

2007
The Vaught Conjecture: Do Uncountable Models Count?
Notre Dame J. Formal Log., 2007

'bottom'<sub>N</sub> as an abstract elementary class.
Ann. Pure Appl. Log., 2007

2006
Determined theories and limit laws.
Inf. Comput., 2006

Uncountable categoricity of local abstract elementary classes with amalgamation.
Ann. Pure Appl. Log., 2006

The metamathematics of random graphs.
Ann. Pure Appl. Log., 2006

2005
Subsets of superstable structures are weakly benign.
J. Symb. Log., 2005

2004
Local homogeneity.
J. Symb. Log., 2004

Notes on quasiminimality and excellence.
Bull. Symb. Log., 2004

Constructing omega-stable structures: model completeness.
Ann. Pure Appl. Log., 2004

2003
Constructing ω-stable Structures: Rank <i>k</i>-fields.
Notre Dame J. Formal Log., 2003

Expansions of geometries.
J. Symb. Log., 2003

2002
Amalgamation properties and finite models in Ln-theories.
Arch. Math. Log., 2002

2001
Model Companions of T<sub>Aut</sub> for Stable T.
Notre Dame J. Formal Log., 2001

2000
On the Classifiability of Cellular Automata.
Theor. Comput. Sci., 2000

Stability, the finite cover property and 0-1 laws.
J. Log. Comput., 2000

Constructing omega-Stable Structures: Rank 2 Fields.
J. Symb. Log., 2000

Finite and Infinite Model Theory - A Historical Perspective.
Log. J. IGPL, 2000

1999
Transfering Saturation, The Finite Cover Property, and Stability.
J. Symb. Log., 1999

Classification of delta-Invariant Amalgamation Classes.
J. Symb. Log., 1999

1998
DOP and FCP in Generic Structures.
J. Symb. Log., 1998

Embedded Finite Models, Stability Theory and the Impact of Order.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1996
Stable Generic Structures.
Ann. Pure Appl. Log., 1996

1995
Abstract Classes with Few Models Have 'Homogeneous-Universal' Models.
J. Symb. Log., 1995

Near model completeness and 0-1 laws.
Proceedings of the Logic and Random Structures, 1995

1994
<i>K</i>-generic Projective Planes have Morley Rank Two or Infinity.
Math. Log. Q., 1994

1993
Forcing Isomorphism.
J. Symb. Log., 1993

Preface: A Selection of Papers Presented at the "Stability in Model Theory III" Conference.
Ann. Pure Appl. Log., 1993

1991
The Primal Framework II: Smoothness.
Ann. Pure Appl. Log., 1991

1990
The Spectrum of Resplendency.
J. Symb. Log., 1990

The Primal Framework I.
Ann. Pure Appl. Log., 1990

1989
Diverse Classes.
J. Symb. Log., 1989

Semisimple Stable and Superstable Groups.
Ann. Pure Appl. Log., 1989

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

1988
Categoricity and generalized model completeness.
Arch. Math. Log., 1988

1987
Trivial pursuit: Remarks on the main gap.
Ann. Pure Appl. Log., 1987

1985
Second-order quantifiers and the complexity of theories.
Notre Dame J. Formal Log., 1985

Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984.
J. Symb. Log., 1985

1984
First-order theories of abstract dependence relations.
Ann. Pure Appl. Log., 1984

1982
Some Contributions to Definability Theory for Languages with Generalized Quantifiers.
J. Symb. Log., 1982

1981
Meeting of the Association for Symbolic Logic: Biloxi, 1979.
J. Symb. Log., 1981

1979
Stability Theory and Algebra.
J. Symb. Log., 1979

1978
Some EC<sub>∑</sub> Classes of Rings.
Math. Log. Q., 1978

1977
A Model Theoretic Approach to Malcev Conditions.
J. Symb. Log., 1977

1976
Meeting of the Association for Symbolic Logic.
J. Symb. Log., 1976

1972
Almost Strongly Minimal Theories. II.
J. Symb. Log., 1972

Almost Strongly Minimal Theories. I.
J. Symb. Log., 1972

1971
On Strongly Minimal Sets.
J. Symb. Log., 1971


  Loading...