J. Baldwin

发表

'bottom'N as an abstract elementary class

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

Recursion Theory and Abstract Dependence

J. Baldwin, 1982 .

Amalgamation, Characterizing Cardinals and Locally Finite Abstract Elementary Classes∗

Michael C. Laskowski, J. Baldwin, Martin Koerwien, 2014 .

Geometry and Proof

J. Baldwin, 1977 .

SOME PROJECTIVE PLANES OF LENZ-BARLOTTI CLASS I

J. Baldwin, 1995 .

STRONGLY MINIMAL STEINER SYSTEMS I: EXISTENCE

J. Baldwin, G. Paolini, 2019, The Journal of Symbolic Logic.

An almost strongly minimal non-Desarguesian projective plane

J. Baldwin, 1994 .

Constructing ω-stable structures: rank 2 fields

J. Baldwin, K. Holland, 2000, Journal of Symbolic Logic.

Axiomatizing Changing Conceptions of the Geometric Continuum I: Euclid-Hilbert

J. Baldwin, 2018 .

Axiomatizing Changing Conceptions of the Geometric Continuum II: Archimedes-Descartes-Hilbert-Tarski†

J. Baldwin, 2019 .

Classification theory: 1985

J. Baldwin, 1987 .

Beyond first order logic: From number of structures to structure of numbers: Part II

J. Baldwin, T. Hyttinen, M. Kesälä, 2013 .

Axiomatizing changing conceptions of the geometric continuuum II: Archimedes – Descartes –Tarski – Hilbert

J. Baldwin, 2016 .

Hanf Numbers and Presentation Theorems in AEC

J. Baldwin, Will Boney, 2015 .

⊥N AS AN ABSTRACT ELEMENTARY CLASS

J. Baldwin, P. Eklof, 2006 .

Ramsey quantifiers and the finite cover property.

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

REVIEW OF THE BIRTH OF MODEL THEORY BY CALIXTO BADESA

J. Baldwin, 2009 .

a T is Finite for ℵ 1 -Categorical T

John T. Baldwin, J. Baldwin, 1973 .

Compact Structures in Descriptive Classification Theory BY JOSEPH ROBERT ZIELINSKI

Phillip R. Wesolek, B. M. Braga, J. Baldwin, 2016 .

Is ‘structure’ a clear notion?

J. Baldwin, 2017 .

From Geometry to Algebra

J. Baldwin, 2014 .

Algebraically prime models

J. Baldwin, David W. Keuker, 1981 .

Pervasive Impact of Small Cardinal Axioms

J. Baldwin, 2007 .

The complex numbers and complex exponentiation: why infinitary logic is necessary!

J. Baldwin, 2006 .

Abstract Elementary Classes: Some Answers, More Questions

J. Baldwin, 2005 .

Geometry and Categoricity (New developments of independence notions in model theory)

J. Baldwin, 2010 .

The amalgamation spectrum

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

Maximal models up to the first measurable in ZFC

S. Shelah, J. Baldwin, 2021, 2111.01709.

The Primal Framework I

S. Shelah, J. Baldwin, 1990, Ann. Pure Appl. Log..

Reflections on the Post-Huttonian Relevance of the Words: "Worship Him Who Made the Heaven, and the Earth, and the Sea and the Fountains of Waters" (Revelation 14:7)

J. Baldwin, 2020 .

" WORSHIP HIM WHO MADE THE HEAVEN , AND THE EARTH , AND SEA AND THE FOUNTAINS OF WATERS " ( REVELATION 14 : 7 )

J. Baldwin, 2003 .

Ehrenfeucht-Mostowski models in Abstract Elementary Classes

J. Baldwin, 2003 .

Transfering Saturation, the Finite Cover Property, And

S. Shelah, J. Baldwin, R. Grossberg, 1999 .

Characterizations of the finite cover property and stability

S. Shelah, J. Baldwin, R. Grossberg, 1995 .

Model complete universal Horn classes

J. Baldwin, S. Givant, 1983 .

Images in Mathematics

J. Baldwin, 2020 .

Stability theory, permutations of indiscernibles, and embedded finite models

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

Theories in Finite Model Theory

J. Baldwin, 1999 .

The Primal Framework II: Smoothness

S. Shelah, J. Baldwin, 1991, Ann. Pure Appl. Log..

SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC

S. G. Simpson, G. Sacks, J. Baldwin, 2013 .

Elementary Classes of Varieties Our Definition of Elementary Class of Varieties Is Based On_ Taylor's Analysis Of

J. Baldwin, 2004 .

A ‘natural’ theory without a prime model

J. Baldwin, A. Glass, D. Kueker, 1973 .

aT IS FINITE FOR ^-CATEGORICAL T

J. Baldwin, 2010 .

Abstract classes with few models have ‘homogeneous-universal’ models

S. Shelah, J. Baldwin, 1995, Journal of Symbolic Logic.

Review: S. Shelah, Stable Theories; Saharon Shelah, Stability, the F.C.P., and Superstability; Model Theoretic Properties of Formulas in First Order Theory

J. Baldwin, 1973 .

The joint embedding property and maximal models

J. Baldwin, Martin Koerwien, I. Souldatos, 2016, Archive for Mathematical Logic.

PROGRESSIVE CREATION AND BIBLICAL REVELATION: SOME THEOLOGICAL IMPLICATIONS

J. Baldwin, 2005 .

Fundamentals of Stability Theory

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

God and the World: William Paley's Argument from Perfection Tradition—A Continuing Influence

J. Baldwin, 1992, Harvard Theological Review.

The Reasonable Effectiveness of Model Theory in Mathematics

JOHN T. BALDWIN, J. Baldwin, 2020, FLAP.

A Reciprocity Theorem for Monomer-Dimer Coverings

J. Baldwin, T. K. Petersen, Nick Anzalone, 2003, DMCS.

Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism

John T. Baldwin, J. Baldwin, 2018 .

Model Theoretic Perspectives on the Philosophy of Mathematics

John T. Baldwin, J. Baldwin, 2010 .

First-order theories of abstract dependence relations

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

Counting models in universal Horn classes

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

Concrete representations of lattices and the fundamental order

J. Baldwin, J. Berman, 1987 .

On the Classifiability of Cellular Automata

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

Second-order quantifiers and the complexity of theories

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

Autonomy of Geometry

J. Baldwin, Andreas Mueller, 2020 .

The Dividing Line Methodology: Model Theory Motivating Set Theory

John T. Baldwin, J. Baldwin, 2021 .

FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY

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

VARIABLES: SYNTAX, SEMANTICS AND SITUATIONS

Mara V. Martinez, J. Baldwin, D. Chazan, 2009 .

LOGIC ACROSS THE HIGH SCHOOL CURRICULUM

J. Baldwin, 2009 .

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

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

Finite and Infinite Model Theory - A Historical Perspective

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

Hanf Numbers and Presentation Theorems in AECs

Will Boney, J. Baldwin, John Baldwin, 2015, 1511.02935.

On strongly minimal sets

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

Making Sense of Hardy-Weinberg Equilibrium

J. Baldwin, Mike U. Smith, 2015 .

Logical stability in group theory

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

A Topology for the Space of Countable Models of a First Order Theory

J. Baldwin, J. Plotkin, 1974 .

Amalgamation, Absoluteness, and Categoricity

John T. Baldwin, J. Baldwin, 2011 .

A combinatorial fact about free algebras

J. Baldwin, W. Hodges, J. Berman, 1982 .

Geometry and Categoricity

John T. Baldwin, J. Baldwin, 2010 .

On universal Horn classes categorical in some infinite power

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

Almost strongly minimal theories. II

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

COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM*

John T. Baldwin, J. Baldwin, 2014, The Bulletin of Symbolic Logic.

Stability theory, permutations of indiscernibles, and embedded finite models

J. Baldwin, Michael Benedikt, 2000 .

The number of subdirectly irreducible algebras in a variety II

John T. Baldwin, J. Baldwin, 1975 .

How Big Should the Monster Model Be?

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

Varieties and finite closure conditions

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