**
**** Completeness and Categoricity (in power):
Formalization without Foundationalism** pdf (revised Nov. 2013) The Bulletin of Symbolic Logic / Volume 20 / Issue 01 / March 2014, pp 39-79; Presented at Midwest Philosophy of Mathematics Workshop (Oct. 27, 2012),
Logic Day University of Chicago (Apr 2013), Carol Wood festschrift June 1,2013). Formal methods as
a mathematical tool.

Vaught's fundamental paper `**Denumerable models of complete theories**'
is very difficult to find on line. I include it for convenience. pdf

`**Bill Howard's recollection of contacts between logicians and Bourbaki**'
July 2013 pdf

** Formalization, Primitive Concepts and Purity **pdf (August 2012) text is `philosophical', appendix with Bill Howard gives a geometric proof
that every Desarguesian plane is embeddible in three space: Review of Symbolic Logic vol 6, 2013
** Saturation and II Superstable case** pdf Math Logic Quarterly, Volume 60, Issue 6, pages 437–443, November 2014) originally Fall 2012
** Beyond First
Order Logic: From number of structures to structure of numbers: Part I** (with Tapani Hytinnen and Meeri pdf (June 2011) (Intro to AEC; the
notion of completenesss; Bulletin of Iranian Math Soc. Volume 39, Issue 1, March 2013, Page 1-26
** Beyond First
Order Logic: From number of structures to structure of numbers: Part 2 **(with Tapani Hytinnen and Meeri pdf (June 2011 version: Bulletin of Iranian Math Soc. MARCH 2013 , Volume 39 , Number 1; Page(s) 27 To 48) (Intro to AEC; the
notion of completenesss; an amusing AEC from PA)
**Geometry**** and
Categoricity ** (July 5, 2010 version) pdf
(for Kirishma volume; expanded from Zilber-fest talk. March 2010)

The next few items were preliminary musings towards
`Purity' and `Formalism without foundations' above.

Modern Model
Theory\\ The impact on mathematics and philosophy, Model Theory and Philosophy
– Paris June2010.
pdf

Bib for
Modern Model Theory\\ The impact on mathematics and philosophy, Model Theory
and Philosophy – Paris
June2010.
pdf

The
following two papers overlap but each contains some material not in the other.

Model
Theoretic Perspectives on the Philosophy of Mathematics— paper for
the Workshop in Practice Based Philosophy - Amsterdam
Aug 2009. pdf

More
philosophically oriented version.

Model
Theoretic Perspectives on the Philosophy of Mathematics— paper for
the Workshop in Practice Based Philosophy - Amsterdam
Aug 2009.

Longer
and more mathematical version pdf

** How big should the monster model be? ** ( Vä ä n ä nen Birthday party;
Comparison of Grothendieck's and Shelah's approach to universal domains and problems arising in the study of unstable theories. Revised July 2013: \underline{Logic Without Borders} (2015)
Ed. by Hirvonen,Asa / Kontinen, Juha / Kossak, Roman / Villaveces, Andres pp. 31-50)
pdf

** A**** Hanf number for saturation and omission** — (with
Saharon Shelah); pdf
( Fund. Math. 213 (2011))

** Amalgamation****,
Absoluteness, and Categoricity** —
Southeast Asia Logic Conference, (version of Mar 2012: Appendix by David
Marker-appeared) pdf

** Stability Spectrum for Classes of
Atomic Models** — (with Saharon Shelah); New results on stability spectrum and general
discussion of EM models over trees of indiscernibles pdf
(March
2012 version:Journal of Mathematical Logic Volume 12, Issue 01, June 2012)

** Review**** of
The Birth of Model Theory by Calixto Badesa ** — This is a Halmos-style
Bull. Amer. Math. Soc. 47 (2010), 177-185. If takes off from the
book to sketch the history/viewpoint of model theory and its connections with
core mathematics. __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. Although written as slides, the notes
are compiled in printable form. Suggestions for updates are appreciated. __pdf__

** The Amalgamation Spectrum **
posted Spring 2008: __pdf__ with
Alexei Kolesnikov and Saharon
ShelahJ. Symbolic Logic
Volume 74, Issue 3 (2009), 914-928.

**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: Annals of Pure and App. Logic 149 (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) __
** Some Projective Planes of Lenz-Barlotti Class I** pdf Proceedings AMS (123) 1995 251-256) originally Fall 2012
The remainder are
postscript files.

Go
to JohnBaldwin'sHome Page