Publications of John Baldwin
Three red herrings around Vaught's conjecture.
Transactions of the American Math Society,
, 2015.
Iterated elementary embeddings and the model theory of infinitary logic.
Annals of Pure and Applied Logic,
, 2015.
Almost galois $\omega$-stable classes.
Journal of Symbolic Logic,
80(3):763-784, 2015.
axiomatizing changing conceptions of the geometric continuum II:archimedes-descarte-hilbert-tarski.
2015.
Making sense of hardy-weinberg equilibrium.
American Biology Teacher,
77(8):15-20, 2015. proofs submitted.
Completeness and categoricity (In power): formalization without foundationalism.
Bull. Symb. Log.,
20(1):39--79, 2014.
MR3230825
A Hanf number for saturation and omission: the superstable case.
MLQ Math. Log. Q.,
60(6):437--443, 2014.
MR3274973
Formalization, primitive concepts, and purity.
Rev. Symb. Log.,
6(1):87--128, 2013.
MR3033214
Beyond first order logic: from number of structures to structure of numbers: Part I.
Bull. Iranian Math. Soc.,
39(1):1--26, 2013.
MR3060982
Beyond first order logic: from number of structures to structure of numbers: Part II.
Bull. Iranian Math. Soc.,
39(1):27--48, 2013.
MR3060983
Amalgamation, absoluteness, and categoricity.
In Proceedings of the 11th Asian Logic Conference,
pages 22--50. World Sci. Publ., Hackensack, NJ, 2012.
MR2868504
The stability spectrum for classes of atomic models.
J. Math. Log.,
12(1):1250001, 19, 2012.
MR2950191
A Hanf number for saturation and omission.
Fund. Math.,
213(3):255--270, 2011.
MR2822421
\it {T}he birth of model theory: {L}öwenheim's theory in the frame of the theory of relatives [book review of mr2032145].
Bull. Amer. Math. Soc. (N.S.),
47(1):177--185, 2010.
MR2566452
The birth of model theory: l¨owenheim’s theory in the frame of the theory of relatives.
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY,
47(1):177–185, 2010. review of book by Calixto Badesa.
model theoretic perspectives on the philosophy of mathematics.
journal to be determined,
, 2010. Conference on Practice Based Logic and Mathematics, 2009.
amalgamation, absoluteness, and categoricity.
Proceedings of Eleventh Asian Logic Conference 2009. 2010.
Categoricity, amalgamation, and tameness.
Israel J. Math.,
170:411--443, 2009.
MR2506333
Categoricity, volume 50 of University Lecture Series.
American Mathematical Society, Providence, RI, 2009.
MR2532039
The amalgamation spectrum.
J. Symbolic Logic,
74(3):914--928, 2009.
MR2548468
Categoricity, amalgamation, and tameness.
Israel Journal of Mathematics,
170(1):411-443, 2009.
the amalgamation spectrum.
J. Symbolic Logic,
74(3):914-928, 2009.
Categoricity in abstract elementary classes .
American Mathematical Society, 2009. University Lecture Series.
Abstract elementary classes: some answers, more questions.
In Logic Colloquium 2004,
pages 1--17. Assoc. Symbol. Logic, Chicago, IL, 2008.
MR2401856
Examples of non-locality.
J. Symbolic Logic,
73(3):765--782, 2008.
MR2444267
The Vaught conjecture: do uncountable models count?.
Notre Dame J. Formal Logic,
48(1):79--92 (electronic), 2007.
MR2289898
${}^ \perp N$ as an abstract elementary class.
Ann. Pure Appl. Logic,
149(1-3):25--39, 2007.
MR2364195
Cayley's theorem for ordered groups: o-minimality.
Sib. Èlektron. Mat. Izv.,
4:278--281, 2007.
MR2465426
Cayley's theory for ordered structures: o-minimality.
SEMR,
4:278-281., 2007. electronic journal.
Generalized quantifiers, infinitary logics, and abstract elementary classes.
In Proceedings of mostowski conference,
pages . 2007.
Determined theories and limit laws.
Inform. and Comput.,
204(7):1013--1022, 2006.
MR2236516
Upward stability transfer for tame abstract elementary classes.
Notre Dame J. Formal Logic,
47(2):291--298 (electronic), 2006.
MR2240625
The metamathematics of random graphs.
Ann. Pure Appl. Logic,
143(1-3):20--28, 2006.
MR2258618
Uncountable categoricity of local abstract elementary classes with amalgamation.
Ann. Pure Appl. Logic,
143(1-3):29--42, 2006.
MR2258619
The complex numbers and complex exponentiation why infinitary logic is necessary!.
Lect. Mat.,
27(Numero especial):117--135, 2006.
MR2610492
Geometry and proof.
In Proceedings, 2nd international conference on tools for teaching logic,
pages 5--9. University of Salamanca, 2006.
The complex numbers and complex exponentiation, why infinitary logic is necessary!.
2006.
Subsets of superstable structures are weakly benign.
J. Symbolic Logic,
70(1):142--150, 2005.
MR2119127
Ehrenfeucht-Mostowski models in abstract elementary classes.
In Logic and its applications,
pages 1--15. Amer. Math. Soc., Providence, RI, 2005.
MR2167570
Review of lavrov, maksimova, problems in set theory, mathematical logic, and the theory of algorithms.
Bulletin of Symbolic Logic,
10:222--223, 2005.
Stability transfer in tame elementary classes.
Notre Dame Journal of Formal Logic,
47:291--298, 2005.
Constructing $\omega$-stable structures: model completeness.
Ann. Pure Appl. Logic,
125(1-3):159--172, 2004.
MR2033422
Notes on quasiminimality and excellence.
Bull. Symbolic Logic,
10(3):334--366, 2004.
MR2083288
Local homogeneity.
J. Symbolic Logic,
69(4):1243--1260, 2004.
MR2135665
Review of: finite structures with few types by cherlin and hrushovski.
Bull. Amer. Math. Soc.,
41:391--394, 2004.
Review of wolfram: a new kind of science.
Bulletin of Symbolic Logic,
10:112--114, 2004.
Expansions of geometries.
J. Symbolic Logic,
68(3):803--827, 2003.
MR2000079
8th Workshop on Logic, Language, Informations and Computation---WoLLIC'2001.
Sociedade Brasileira de Matemática, Rio de Janeiro, 2003.
MR2007161
Constructing $\omega$-stable structures: rank $k$-fields.
Notre Dame J. Formal Logic,
44(3):139--147 (electronic) (2004), 2003.
MR2130786
Amalgamation properties and finite models in $L^ n$-theories.
Arch. Math. Logic,
41(2):155--167, 2002.
MR1890190
Forking and multiplicity in first order theories.
In Logic and algebra,
pages 205--219. Amer. Math. Soc., Providence, RI, 2002.
MR1928391
Rank and homogeneous structures.
In Tits buildings and the model theory of groups (Würzburg, 2000),
pages 215--233. Cambridge Univ. Press, Cambridge, 2002.
MR2018389
Amalgamation properties and finite models in $l^n$-theories.
Archive fur Math. Log.,
41:155--167, 2002.
Model theoretic constructions of algebraic objects.
In Tits buildings and the theory of groups: wurzburg sept 14-17 2000,.,
pages 215--235. Cambridge University Press, 2002.
Rank and multiplicity.
In Contemporary mathematics: algebra and logic,
pages 205--221. American Mathematical Society, 2002.
Constructing $\omega$-stable structures: computing rank.
Fund. Math.,
170(1-2):1--20, 2001.
MR1881046
Model companions of $T_ {\rm Aut}$ for stable $T$.
Notre Dame J. Formal Logic,
42(3):129--142 (2003), 2001.
MR2010177
On the classifiability of cellular automata.
Theoret. Comput. Sci.,
230(1-2):117--129, 2000.
MR1725633
Stability, the finite cover property and 0-1 laws.
J. Logic Comput.,
10(2):209--212, 2000.
MR1760079
Stability theory, permutations of indiscernibles, and embedded finite models.
Trans. Amer. Math. Soc.,
352(11):4937--4969 (electronic), 2000.
MR1776884
Constructing $\omega$-stable structures: rank 2 fields.
J. Symbolic Logic,
65(1):371--391, 2000.
MR1782127
Finite and infinite model theory---a historical perspective.
Log. J. IGPL,
8(5):605--628, 2000.
MR1783896
Transfering saturation, the finite cover property, and stability.
J. Symbolic Logic,
64(2):678--684, 1999.
MR1777778
Classification of $\delta$-invariant amalgamation classes.
J. Symbolic Logic,
64(4):1743--1750, 1999.
MR1780082
DOP and FCP in generic structures.
J. Symbolic Logic,
63(2):427--438, 1998.
MR1625876
Embedded finite models, stability theory, and the impact of order.
In Thirteenth Annual IEEE Symposium on Logic in Computer Science (Indianapolis, IN, 1998),
pages 490--500. IEEE Computer Soc., Los Alamitos, CA, 1998.
MR1659581
Randomness and semigenericity.
Trans. Amer. Math. Soc.,
349(4):1359--1376, 1997.
MR1407480
Near model completeness and $0$-$1$ laws.
In Logic and random structures (New Brunswick, NJ, 1995),
pages 1--13. Amer. Math. Soc., Providence, RI, 1997.
MR1465465
Stable generic structures.
Ann. Pure Appl. Logic,
79(1):1--35, 1996.
MR1390325
Some projective planes of Lenz-Barlotti class I.
Proc. Amer. Math. Soc.,
123(1):251--256, 1995.
MR1215026
Abstract classes with few models have ``homogeneous-universal'' models.
J. Symbolic Logic,
60(1):246--265, 1995.
MR1324512
An almost strongly minimal non-Desarguesian projective plane.
Trans. Amer. Math. Soc.,
342(2):695--711, 1994.
MR1165085
$K$-generic projective planes have Morley rank two or infinity.
Math. Logic Quart.,
40(2):143--152, 1994.
MR1271280
Stability in model theory. III.
Elsevier Science B.V., Amsterdam, 1993.
MR1226300
Forcing isomorphism.
J. Symbolic Logic,
58(4):1291--1301, 1993.
MR1253923
The primal framework. II. Smoothness.
Ann. Pure Appl. Logic,
55(1):1--34, 1991.
MR1134914
The primal framework. I.
Ann. Pure Appl. Logic,
46(3):235--264, 1990.
MR1049388
The spectrum of resplendency.
J. Symbolic Logic,
55(2):626--636, 1990.
MR1056376
Diverse classes.
J. Symbolic Logic,
54(3):875--893, 1989.
MR1011176
Stability in model theory. II.
Elsevier Science B.V., Amsterdam, 1989.
MR1044118
Semisimple stable and superstable groups.
Ann. Pure Appl. Logic,
45(2):105--127, 1989.
MR1044119
Some notes on stable groups.
In The model theory of groups (Notre Dame, IN, 1985--1987),
pages 100--116. Univ. Notre Dame Press, Notre Dame, IN, 1989.
MR985342
Fundamentals of stability theory, Perspectives in Mathematical Logic.
Springer-Verlag, Berlin, 1988.
MR918762
Categoricity and generalized model completeness.
Arch. Math. Logic,
27(1):1--4, 1988.
MR955305
Classification theory, volume 1292 of Lecture Notes in Mathematics.
Springer-Verlag, Berlin, 1987.
MR1033019
Classification theory: 1985.
In Classification theory (Chicago, IL, 1985),
pages 1--23. Springer, Berlin, 1987.
MR1033020
Concrete representations of lattices and the fundamental order.
In Classification theory (Chicago, IL, 1985),
pages 24--31. Springer, Berlin, 1987.
MR1033021
Exercises on local weight.
In Classification theory (Chicago, IL, 1985),
pages 127--131. Springer, Berlin, 1987.
MR1033026
Trivial pursuit: remarks on the main gap.
Ann. Pure Appl. Logic,
34(3):209--230, 1987.
MR899080
On the definability of $P_ S(A)$.
Algebra Universalis,
23(3):254--261, 1986.
MR903932
Second-order quantifiers and the complexity of theories.
Notre Dame J. Formal Logic,
26(3):229--303, 1985.
MR796638
Definable second-order quantifiers.
In Model-theoretic logics,
pages 445--477. Springer, New York, 1985.
MR819543
First-order theories of abstract dependence relations.
Ann. Pure Appl. Logic,
26(3):215--243, 1984.
MR747685
Strong saturation and the foundations of stability theory.
In Logic colloquium '82 (Florence, 1982),
pages 71--84. North-Holland, Amsterdam, 1984.
MR762104
Model complete universal Horn classes.
Algebra Universalis,
17(1):110--119, 1983.
MR710003
The structure of saturated free algebras.
Algebra Universalis,
17(2):191--199, 1983.
MR726272
Some contributions to definability theory for languages with generalized quantifiers.
J. Symbolic Logic,
47(3):572--586, 1982.
MR666817
Definable principal congruence relations: kith and kin.
Acta Sci. Math. (Szeged),
44(3-4):255--270 (1983), 1982.
MR684382
A combinatorial fact about free algebras.
Algebra Universalis,
15(2):145--152, 1982.
MR686797
Counting models in universal Horn classes.
Algebra Universalis,
15(3):359--384, 1982.
MR689770
Recursion theory and abstract dependence.
In Patras Logic Symposion (Patras, 1980),
pages 67--76. North-Holland, Amsterdam, 1982.
MR694253
Definability and the hierarchy of stable theories.
In Logic Year 1979--80 (Proc. Seminars and Conf. Math. Logic, Univ. Connecticut, Storrs, Conn., 1979/80),
pages 1--15. Springer, Berlin, 1981.
MR619857
Algebraically prime models.
Ann. Math. Logic,
20(3):289--330, 1981.
MR631565
Elementary classes of varieties.
Houston J. Math.,
7(4):473--492, 1981.
MR658563
The number of subdirectly irreducible algebras in a variety. II.
Algebra Universalis,
11(1):1--6, 1980.
MR593008
Ramsey quantifiers and the finite cover property.
Pacific J. Math.,
90(1):11--19, 1980.
MR599315
Stability theory and algebra.
J. Symbolic Logic,
44(4):599--608, 1979.
MR550388
Some ${\rm EC}_{\Sigma }$ classes of rings.
Z. Math. Logik Grundlag. Math.,
24(6):489--492, 1978.
MR511702
$\aleph _{0}$-categoricity and stability of rings.
J. Algebra,
45(1):1--16, 1977.
MR0439621
A model theoretic approach to Malcev conditions.
J. Symbolic Logic,
42(2):277--288, 1977.
MR0480006
Varieties and finite closure conditions.
Colloq. Math.,
35(1):15--20, 1976.
MR0401600
Logical stability in group theory.
J. Austral. Math. Soc. Ser. A,
21(3):267--276, 1976.
MR0407151
A note on: ``Atomic compactness in $\aleph _{1}$-categorical Horn theories'' (Fund. Math. 83 (1973/74), no. 3, 263--268) by John T. Baldwin.
Fund. Math.,
93(3):181--183, 1976.
MR0439620
Conservative extensions and the two cardinal theorem for stable theories.
Fund. Math.,
88(1):7--9, 1975.
MR0379166
The number of subdirectly irreducible algebras in a variety.
Algebra Universalis,
5(3):379--389, 1975.
MR0392765
A topology for the space of countable models of a first order theory.
Z. Math. Logik Grundlagen Math.,
20:173--178, 1974.
MR0351788
An axiomatic approach to rank in model theory.
Ann. Math. Logic,
7:295--324, 1974.
MR0363875
$\alpha _{T}$ is finite for $\aleph _{1}$-categorical $T$.
Trans. Amer. Math. Soc.,
181:37--51, 1973.
MR0319747
A sufficient condition for a variety to have the amalgamation property.
Colloq. Math.,
28:181--183, 329, 1973.
MR0327615
The number of automorphisms of models of $\aleph _{1}$-categorical theories.
Fund. Math.,
83(1):1--6, 1973.
MR0332467
Atomic compactness in $\aleph _{1}$-categorical Horn theories.
Fund. Math.,
83(3):263--268, 1973/74.
MR0337565
A ``natural'' theory without a prime model.
Algebra Universalis,
3:152--155, 1973.
MR0347583
On universal Horn classes categorical in some infinte power.
Algebra Universalis,
3:98--111, 1973.
MR0351785
Almost strongly minimal theories. I, II.
J. Symbolic Logic,
37:487--493; ibid. 37 (1972), 657--660, 1972.
MR0321722
On strongly minimal sets.
J. Symbolic Logic,
36:79--96, 1971.
MR0286642