2007 |
37 | EE | John T. Baldwin,
Paul C. Eklof,
Jan Trlifaj:
'bottom'N as an abstract elementary class.
Ann. Pure Appl. Logic 149(1-3): 25-39 (2007) |
2006 |
36 | EE | John T. Baldwin:
The metamathematics of random graphs.
Ann. Pure Appl. Logic 143(1-3): 20-28 (2006) |
35 | EE | John T. Baldwin,
Olivier Lessmann:
Uncountable categoricity of local abstract elementary classes with amalgamation.
Ann. Pure Appl. Logic 143(1-3): 29-42 (2006) |
34 | EE | John T. Baldwin,
Marco Mazzucco:
Determined theories and limit laws.
Inf. Comput. 204(7): 1013-1022 (2006) |
2004 |
33 | EE | John T. Baldwin,
Kitty L. Holland:
Constructing omega-stable structures: model completeness.
Ann. Pure Appl. Logic 125(1-3): 159-172 (2004) |
32 | EE | John T. Baldwin:
Notes on quasiminimality and excellence.
Bulletin of Symbolic Logic 10(3): 334-366 (2004) |
2003 |
31 | | John T. Baldwin:
Expansions of geometries.
J. Symb. Log. 68(3): 803-827 (2003) |
2002 |
30 | EE | John T. Baldwin,
Olivier Lessmann:
Amalgamation properties and finite models in Ln-theories.
Arch. Math. Log. 41(2): 155-167 (2002) |
2001 |
29 | | John T. Baldwin,
Saharon Shelah:
Model Companions of for Stable T.
Notre Dame Journal of Formal Logic 42(3): 129-142 (2001) |
2000 |
28 | | John T. Baldwin:
Stability, the finite cover property and 0-1 laws.
J. Log. Comput. 10(2): 209-212 (2000) |
27 | | John T. Baldwin,
Kitty L. Holland:
Constructing omega-Stable Structures: Rank 2 Fields.
J. Symb. Log. 65(1): 371-391 (2000) |
26 | EE | John T. Baldwin:
Finite and Infinite Model Theory - A Historical Perspective.
Logic Journal of the IGPL 8(5): (2000) |
25 | EE | John T. Baldwin,
Saharon Shelah:
On the Classifiability of Cellular Automata.
Theor. Comput. Sci. 230(1-2): 117-129 (2000) |
1999 |
24 | | John T. Baldwin,
Rami P. Grossberg,
Saharon Shelah:
Transfering Saturation, The Finite Cover Property, and Stability.
J. Symb. Log. 64(2): 678-684 (1999) |
23 | | Roman D. Arefev,
John T. Baldwin,
Marco Mazzucco:
Classification of delta-Invariant Amalgamation Classes.
J. Symb. Log. 64(4): 1743-1750 (1999) |
1998 |
22 | | John T. Baldwin,
Michael Benedikt:
Embedded Finite Models, Stability Theory and the Impact of Order.
LICS 1998: 490-500 |
21 | | John T. Baldwin,
Saharon Shelah:
DOP and FCP in Generic Structures.
J. Symb. Log. 63(2): 427-438 (1998) |
1996 |
20 | | John T. Baldwin,
Niandong Shi:
Stable Generic Structures.
Ann. Pure Appl. Logic 79(1): 1-35 (1996) |
1995 |
19 | | John T. Baldwin,
Saharon Shelah:
Abstract Classes with Few Models Have `Homogeneous-Universal' Models.
J. Symb. Log. 60(1): 246-265 (1995) |
1994 |
18 | | John T. Baldwin,
Masanori Itai:
K-generic Projective Planes have Morley Rank Two or Infinity.
Math. Log. Q. 40: 143-152 (1994) |
1993 |
17 | | John T. Baldwin:
Preface: A Selection of Papers Presented at the "Stability in Model Theory III" Conference.
Ann. Pure Appl. Logic 62(2): 81 (1993) |
16 | | John T. Baldwin,
Michael C. Laskowski,
Saharon Shelah:
Forcing Isomorphism.
J. Symb. Log. 58(4): 1291-1301 (1993) |
1991 |
15 | | John T. Baldwin,
Saharon Shelah:
The Primal Framework II: Smoothness.
Ann. Pure Appl. Logic 55(1): 1-34 (1991) |
1990 |
14 | | John T. Baldwin,
Saharon Shelah:
The Primal Framework I.
Ann. Pure Appl. Logic 46(3): 235-264 (1990) |
13 | | John T. Baldwin:
The Spectrum of Resplendency.
J. Symb. Log. 55(2): 626-636 (1990) |
1989 |
12 | | John T. Baldwin,
Annalisa Marcja:
Papers presented at the Meeting on "Stability in Model Theory II", July 13-17, 1987, Trento, Italy - Preface.
Ann. Pure Appl. Logic 45(2): 103 (1989) |
11 | | John T. Baldwin,
Anand Pillay:
Semisimple Stable and Superstable Groups.
Ann. Pure Appl. Logic 45(2): 105-127 (1989) |
10 | | John T. Baldwin:
Diverse Classes.
J. Symb. Log. 54(3): 875-893 (1989) |
1985 |
9 | | John T. Baldwin,
Matt Kaufmann,
Julia F. Knight:
Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984.
J. Symb. Log. 50(1): 284-286 (1985) |
1982 |
8 | | John T. Baldwin,
Douglas E. Miller:
Some Contributions to Definability Theory for Languages with Generalized Quantifiers.
J. Symb. Log. 47(3): 572-586 (1982) |
1981 |
7 | | Daniel Halpern,
William W. Tait,
John T. Baldwin:
Meeting of the Association for Symbolic Logic: Biloxi, 1979.
J. Symb. Log. 46(1): 191-198 (1981) |
1979 |
6 | | John T. Baldwin:
Stability Theory and Algebra.
J. Symb. Log. 44(4): 599-608 (1979) |
1977 |
5 | | John T. Baldwin,
Joel Berman:
A Model Theoretic Approach to Malcev Conditions.
J. Symb. Log. 42(2): 277-288 (1977) |
1976 |
4 | | John T. Baldwin,
Donald A. Martin,
Robert I. Soare,
William W. Tait:
Meeting of the Association for Symbolic Logic.
J. Symb. Log. 41(2): 551-560 (1976) |
1972 |
3 | | John T. Baldwin:
Almost Strongly Minimal Theories. I.
J. Symb. Log. 37(3): 487-493 (1972) |
2 | | John T. Baldwin:
Almost Strongly Minimal Theories. II.
J. Symb. Log. 37(4): 657-660 (1972) |
1971 |
1 | | John T. Baldwin,
Alistair H. Lachlan:
On Strongly Minimal Sets.
J. Symb. Log. 36(1): 79-96 (1971) |