Mathematics (p)reprints of

John T. Baldwin

If you click on the name of the paper and have an appropriatereader, itwill appear now. The newest papersare available in pdf format on this page.Someof theolder postscript files can be obtained by anonymous ftp (loginname"anonymous" or "ftp"; password can beanything)fromftp://www.math.uic.edu/pub/preprints/baldwin/. You will needtouncompress these files with the command pkunzip or gunzip. In thosecases, thename of the archived file is in parentheses.

 

  • Categoricity in Abstract Elementary Classes ; 245 pages in AMS format: accepted book submitted for publication May 1, 2009 —   I am hopeful the printed version will cost on the order of $30. pdf
  • A Field Guide to Hrushovski Constructions —   This is an annotated bibliography with a few open problems to papers based on the Hrushovski construction. There are sections on the ab initio constructions, expansions/fusions, and infinitary versions. pdf
    • The Amalgamation Spectrum posted Spring 2008: pdf with Alexei Kolesnikov and Saharon Shelah
    • Generalized Quantifiers, Infinitary Logics, and Abstract Elementary Classes posted Dec. 2007: pdf Proceedings of Mostowki conference July 2007
    • N perp as an AEC (with Paul Ekof and Jan Trlifaj) posted Dec. 2006, revised June 2007: pdf
    •  Categoricity, Amalgamation, and Tameness (with Alexei Kolesnikov) posted Oct. 2006, final version  revised Nov 2007 to appear: Israel Journal of Math  pdf
    • Geometry and Proof : Tools for Teaching Logic, Conference in Salamanca, September 2006 pdf
    • Cayley's theorem for ordered groups: o-minimality (with Bektur Baizhanov and Viktor Verbovskiy) pdf
      (posted August 2006)
    • The complex numbers and complex exponentiation: Why Infinitary Logic is necessary! (Annual Meeting of Columbian Mathematical Society: August 2005) pdf
      (posted April 2006)
    • The Vaught Conjecture, Do uncountable models count (February 2006 rev. July 2006) (For Vaught conjecture Conference held May 2005) pdf
    • Examples of Non-locality (with Saharon Shelah)(Fall 2005; revised Fall 2007: to appear JSL) pdf
    • Abstract Elementary Classes: Some Answers, More Questions (Logic Colloquium 2004, Turino) pdf
      (revised Summer 2006)
    • Uncountable Categoricity of Local Abstract Elementary Classes with Amalgamation (with Olivier Lessmann) (first post Spring 2005; revised Fall 2005; bib updated Apr 2006) pdf
    • The Metamathematics of Random Graphs (posted Spring 2005; revised Fall 2005) pdf
    • Upward stability transfer for Tame Abstract Elementary Classes(with David Kueker and Monica VanDieren) (Spring 2004) pdf
    • Non-splitting Extensions (Spring 2004) pdf technical report: Short proof to obtain nonsplitting extensions in EM models
    • Ehrenfeucht-Mostowski Models and Abstract Elementary Classes(Fall 2003) pdf
    • Review of Lavrov and Makismova: Problems in Set theory,Mathematical Logic and the Theory of Algorithms) pdf
    • Review of Wolfram's A New Kind of Science (Fall 2003) ps
    • Notes on Quasimiminality: Infinitary categoricity, complexexponentiation, Hrushovski Construction and Abstract ElementaryClasses(Spring 2004) pdf
    • Constructing $\omega$-stable Structures: Model Completeness (with Kitty Holland) (Summer 2003) postscript or dvi or pdf
    • Local Homogeneity (with Bektur Baizhanov) (Winter 2003; revisedSpring 2004) pdf
    • Subsets of Superstable Structures are weakly benign( with BekturBaizhanov and Saharon Shelah) (Winter 2003) pdf or dvi
    • CA Computation and Simulation (Note to FOM:Summer 2002) postscript dvi
    • Constructing $\omega$-stable Structures:Rank k fields ( withKitty Holland) (Summer 2002) postscript or dvi (Appeared NotreDame Journal of Formal Logic, (44) pg 139-147, 2003)
    • Forking and Multiplicity in First Order Theories (Spring 2001) postscript or dvi
    • Determined Theories and Limit Laws (with Marco Mazzucco) (Spring2001; revised Spring 2004) pdf
    • Model Companions of $T_\aut$ for stable $T$ (with Saharon Shelah)(Winter 2003) postscript or dvi
    • Rank and Homogeneity (Fall 2000) postscript or dvi
    • Amalgamation properties and finite models in$L^n$-theories (withOlivier Lessmann) (Summer 2000) postscript or dvi
    • Stable Amalgamation(expanded from Malcev conference) (January2000) (postscript) or dvi
    • Finite and Infinite Model Theory: a historicalperspective(expanded from Wollics conference) (Fall 1999) dvi or (postscript)
    • Constructing $\omega$-stable Structures:Computing Rank ( withKitty Holland) (summer 1999: rev Spring 2001) (dvi) or (postscript)
    • Theories in Finite Model Theory (April 1999: technicalreportIRCS, Philadelphia Workshop) (dvi) or (postscript)
    • Probability and the Finite Model Property:The "proof" thatHrushovski's example of an $\aleph_0$-categorical stable theory has thefinite model property has a serious error. (Later: Djordjevic found acounter example.)
    • Constructing $\omega$-stable structures:Rank 2 fields(with KittyHolland) (update: Spring 2001; original Mar. 98 below) (dvi version ) or (postscript)
    • Stability, the finite cover property, and $0$-$1$ laws (March 8,1998) (dvi version) or (postscript)
    • Stability theory, Permutations of Indiscernibles,and EmbeddedFinite Models ( with Michael Benedikt)(March 10, 1998)(dvi version) ) or postscript
    • Random expansions of geometries (Accepted Jan 2003 version) (dvi version) or (postscript)
    • Random expansions of geometries ( 1999 version) (dvi version) or (postscript)

    The remainder are postscript files.


    Go to JohnBaldwin'sHome Page