John T. Baldwin

发表

Local homogeneity

Bektur Sembiuly Baizhanov, John T. Baldwin, 2004, J. Symb. Log..

The Primal Framework I

Saharon Shelah, John T. Baldwin, 1990, Ann. Pure Appl. Log..

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

John T. Baldwin, Julia F. Knight, Matt Kaufmann, 1985, J. Symb. Log..

Subsets of superstable structures are weakly benign

Saharon Shelah, Bektur Sembiuly Baizhanov, John T. Baldwin, 2005, J. Symb. Log..

Iterated elementary embeddings and the model theory of infinitary logic

John T. Baldwin, Paul B. Larson, 2016, Ann. Pure Appl. Log..

Almost Strongly Minimal Theories. I

John T. Baldwin, 1972, J. Symb. Log..

Near model completeness and 0-1 laws

John T. Baldwin, 1995, Logic and Random Structures.

K-generic Projective Planes have Morley Rank Two or Infinity

John T. Baldwin, Masanori Itai, 1994, Math. Log. Q..

The stability spectrum for Classes of Atomic Models

Saharon Shelah, John T. Baldwin, 2012, J. Math. Log..

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

Saharon Shelah, John T. Baldwin, 1995, J. Symb. Log..

On the Classifiability of Cellular Automata

Saharon Shelah, John T. Baldwin, S. Shelah, 1998, Theor. Comput. Sci..

How Big Should the Monster Model Be?

John T. Baldwin, J. Baldwin, 2015, Logic Without Borders.

Almost Galois ω-Stable Classes

Saharon Shelah, John T. Baldwin, Paul B. Larson, 2015, J. Symb. Log..

Henkin Constructions of Models with Size continuum

John T. Baldwin, Michael C. Laskowski, 2019, Bull. Symb. Log..

Some EC∑ Classes of Rings

John T. Baldwin, 1978, Math. Log. Q..

Stable Generic Structures

John T. Baldwin, Niandong Shi, 1996, Ann. Pure Appl. Log..

Forcing Isomorphism

Saharon Shelah, John T. Baldwin, Michael C. Laskowski, 1993, J. Symb. Log..

Constructing ω-stable Structures: Rank k-fields

John T. Baldwin, Kitty L. Holland, 2003, Notre Dame J. Formal Log..

Almost strongly minimal theories. II

John T. Baldwin, J. Baldwin, 1972, Journal of Symbolic Logic.

The joint embedding property and maximal models

John T. Baldwin, Martin Koerwien, Ioannis A. Souldatos, 2016, Arch. Math. Log..

Disjoint Amalgamation in Locally Finite AEC

John T. Baldwin, Michael C. Laskowski, Martin Koerwien, 2017, J. Symb. Log..

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

John T. Baldwin, J. Baldwin, 2016, WoLLIC.

Model Companions of TAut for Stable T

Saharon Shelah, John T. Baldwin, 2001, Notre Dame J. Formal Log..

Meeting of the Association for Symbolic Logic: Biloxi, 1979

John T. Baldwin, Daniel Halpern, William W. Tait, 1981, J. Symb. Log..

Categoricity and generalized model completeness

John T. Baldwin, Gisela Ahlbrandt, 1988, Arch. Math. Log..

A Hanf number for saturation and omission: the superstable case

Saharon Shelah, John T. Baldwin, 2014, Math. Log. Q..

Some Contributions to Definability Theory for Languages with Generalized Quantifiers

John T. Baldwin, Douglas E. Miller, 1982, J. Symb. Log..

Expansions of geometries

John T. Baldwin, 2003, J. Symb. Log..

Semisimple Stable and Superstable Groups

John T. Baldwin, Anand Pillay, 1989, Ann. Pure Appl. Log..

Constructing Many Atomic Models in ℵ1

Saharon Shelah, John T. Baldwin, Michael C. Laskowski, 2016, J. Symb. Log..

Stability Theory and Algebra

John T. Baldwin, 1979, J. Symb. Log..

A Model Theoretic Approach to Malcev Conditions

John T. Baldwin, Joel Berman, 1977, J. Symb. Log..

Constructing omega-Stable Structures: Rank 2 Fields

John T. Baldwin, Kitty L. Holland, 2000, J. Symb. Log..

The amalgamation spectrum

Saharon Shelah, John T. Baldwin, Alexei Kolesnikov, 2009, The Journal of Symbolic Logic.

Uncountable categoricity of local abstract elementary classes with amalgamation

John T. Baldwin, Olivier Lessmann, 2006, Ann. Pure Appl. Log..

Finite and Infinite Model Theory - A Historical Perspective

John T. Baldwin, J. Baldwin, 2000, Log. J. IGPL.

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

John T. Baldwin, Annalisa Marcja, 1989, Ann. Pure Appl. Log..

Stability, the finite cover property and 0-1 laws

John T. Baldwin, 2000, J. Log. Comput..

The Primal Framework II: Smoothness

Saharon Shelah, John T. Baldwin, 1991, Ann. Pure Appl. Log..

A model in ℵ

John T. Baldwin, 2009 .

Trivial pursuit: Remarks on the main gap

John T. Baldwin, Leo Harrington, 1987, Ann. Pure Appl. Log..

Geometry and Categoricity

John T. Baldwin, J. Baldwin, 2010 .

Amalgamation properties and finite models in Ln-theories

John T. Baldwin, Olivier Lessmann, 2002, Arch. Math. Log..

The Vaught Conjecture: Do Uncountable Models Count?

John T. Baldwin, 2007, Notre Dame J. Formal Log..

Fundamentals of Stability Theory

John T. Baldwin, J. Baldwin, 2017, Perspectives in Logic.

The metamathematics of random graphs

John T. Baldwin, 2006, Ann. Pure Appl. Log..

'bottom'N as an abstract elementary class

Jan Trlifaj, John T. Baldwin, Paul C. Eklof, 2007, Ann. Pure Appl. Log..

Diverse Classes

John T. Baldwin, 1989, J. Symb. Log..

Constructing omega-stable structures: model completeness

John T. Baldwin, Kitty L. Holland, 2004, Ann. Pure Appl. Log..

FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY

John T. Baldwin, J. Baldwin, 2012, The Review of Symbolic Logic.

On strongly minimal sets

John T. Baldwin, Alistair H. Lachlan, J. Baldwin, 1971, Journal of Symbolic Logic.

Transfering Saturation, The Finite Cover Property, and Stability

Saharon Shelah, John T. Baldwin, Rami P. Grossberg, 1999, J. Symb. Log..

Examples of non-locality

Saharon Shelah, John T. Baldwin, 2008, J. Symb. Log..

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

John T. Baldwin, 1993, Ann. Pure Appl. Log..

Embedded finite models, stability theory, and the impact of order

Michael Benedikt, John T. Baldwin, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

The Spectrum of Resplendency

John T. Baldwin, 1990, J. Symb. Log..

Second-order quantifiers and the complexity of theories

Saharon Shelah, John T. Baldwin, S. Shelah, 1985, Notre Dame J. Formal Log..

DOP and FCP in Generic Structures

Saharon Shelah, John T. Baldwin, 1998, J. Symb. Log..

First-order theories of abstract dependence relations

John T. Baldwin, J. Baldwin, 1984, Ann. Pure Appl. Log..

Notes on quasiminimality and excellence

John T. Baldwin, 2004, Bull. Symb. Log..

Determined theories and limit laws

John T. Baldwin, Marco Mazzucco, 2006, Inf. Comput..

Classification of delta-Invariant Amalgamation Classes

John T. Baldwin, Marco Mazzucco, Roman D. Arefev, 1999, J. Symb. Log..

Hanf numbers for extendibility and related phenomena

Saharon Shelah, John T. Baldwin, 2021, Archive for Mathematical Logic.

Strongly Minimal Steiner Systems II: Coordinatization and Quasigroups

John T. Baldwin, 2021 .

The Dividing Line Methodology: Model Theory Motivating Set Theory

John T. Baldwin, J. Baldwin, 2021 .

Constructing ω-stable Structures : Model Completeness

John T. Baldwin, 2003 .

a T is Finite for ℵ 1 -Categorical T

John T. Baldwin, J. Baldwin, 1973 .

Ramsey quantifiers and the finite cover property.

John T. Baldwin, David W. Kueker, J. Baldwin, 1980 .

Classification of δ-Invariant Amalgamation Classes

John T. Baldwin, Marco Mazzucco, Roman D. Aref'ev, 1999 .

On universal Horn classes categorical in some infinite power

John T. Baldwin, A. H. Lachlan, J. Baldwin, 1973 .

Counting models in universal Horn classes

John T. Baldwin, Ralph McKenzie, J. Baldwin, 1982 .

An axiomatic approach to rank in model theory

John T. Baldwin, Andreas Blass, 1974 .

Abstract elementary classes

John T. Baldwin, 2009 .

The Explanatory Power of a New Proof: Henkin’s Completeness Proof

John T. Baldwin, 2018 .

Three red herrings around Vaught’s conjecture

John T. Baldwin, Michael C. Laskowski, Sy-David Friedman, 2015 .

Varieties and finite closure conditions

John T. Baldwin, Joel Berman, J. Baldwin, 1976 .

ℵ0-Categoricity and stability of rings

John T. Baldwin, Bruce Rose, 1977 .

Constructing ω-stable structures: Computing rank

John T. Baldwin, Kitty L. Holland, 2001 .

Rank and homogeneous structures

John T. Baldwin, Katrin Tent, 2002 .

Strong Saturation and the Foundations of Stability Theory

John T. Baldwin, 1984 .

M ar 2 01 5 Constructing many atomic models in א 1

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

The number of subdirectly irreducible algebras in a variety II

John T. Baldwin, J. Baldwin, 1975 .

Exercises on Local Weight

John T. Baldwin, Charles Steinhorn, 1987 .

_{} is finite for ℵ₁-categorical

John T. Baldwin, 1973 .

A Hanf number for saturation and omission

Saharon Shelah, John T. Baldwin, 2011 .

Categoricity, amalgamation, and tameness

John T. Baldwin, Alexei Kolesnikov, 2009 .

Amalgamation, Absoluteness, and Categoricity

John T. Baldwin, J. Baldwin, 2011 .

The number of subdirectly irreducible algebras in a variety

John T. Baldwin, Joel Berman, 1975 .

Randomness and semigenericity

Saharon Shelah, John T. Baldwin, 1996 .

Logical stability in group theory

John T. Baldwin, Jan Saxl, J. Baldwin, 1976, Journal of the Australian Mathematical Society.

Stability theory, permutations of indiscernibles, and embedded finite models

Michael Benedikt, John T. Baldwin, J. Baldwin, 2000 .