dblp.uni-trier.dewww.uni-trier.de

John T. Baldwin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
37EEJohn 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
36EEJohn T. Baldwin: The metamathematics of random graphs. Ann. Pure Appl. Logic 143(1-3): 20-28 (2006)
35EEJohn T. Baldwin, Olivier Lessmann: Uncountable categoricity of local abstract elementary classes with amalgamation. Ann. Pure Appl. Logic 143(1-3): 29-42 (2006)
34EEJohn T. Baldwin, Marco Mazzucco: Determined theories and limit laws. Inf. Comput. 204(7): 1013-1022 (2006)
2004
33EEJohn T. Baldwin, Kitty L. Holland: Constructing omega-stable structures: model completeness. Ann. Pure Appl. Logic 125(1-3): 159-172 (2004)
32EEJohn 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
30EEJohn 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)
26EEJohn T. Baldwin: Finite and Infinite Model Theory - A Historical Perspective. Logic Journal of the IGPL 8(5): (2000)
25EEJohn 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)

Coauthor Index

1Roman D. Arefev [23]
2Michael Benedikt [22]
3Joel Berman [5]
4Paul C. Eklof [37]
5Rami P. Grossberg [24]
6Daniel Halpern [7]
7Kitty L. Holland [27] [33]
8Masanori Itai [18]
9Matt Kaufmann [9]
10Julia F. Knight [9]
11Alistair H. Lachlan [1]
12Michael C. Laskowski [16]
13Olivier Lessmann [30] [35]
14Annalisa Marcja [12]
15Donald A. Martin [4]
16Marco Mazzucco [23] [34]
17Douglas E. Miller [8]
18Anand Pillay [11]
19Saharon Shelah [14] [15] [16] [19] [21] [24] [25] [29]
20Niandong Shi [20]
21Robert I. Soare [4]
22William W. Tait [4] [7]
23Jan Trlifaj [37]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)