**Formalization without Foundationalism: Model Theory and the Philosophy of Mathematical Practice**TAKEN DOWN due to potential publisher objections. Book in progress; comments welcome pdf

**Categoricity****in Abstract Elementary Classes**245 pages in AMS format: appeared August 2009 — The printed version will cost $55. pdf

- Categoricity
in Abstract Elementary Classes ;Corrections to the monograph pdf

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

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
–

Bib for
Modern Model Theory\\ The impact on mathematics and philosophy, Model Theory
and Philosophy –

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 -

More
philosophically oriented version.

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

Longer
and more mathematical version pdf

( Fund. Math. 213 (2011))

(March
2012 version:Journal of Mathematical Logic Volume 12, Issue 01, June 2012)

(posted August 2006)

(posted April 2006)

(revised Summer 2006)

The remainder are
postscript files.

__An almost strongly minimalnon-Desarguesian projective plane____Randomness and Semigenericity__(withSaharon Shelah) [ran.ps.Z]__Stable generic structures__(withNiandong Shi) [stgen.ps.gz]__$\delta$-invariant amalgamationclasses__(with Roman Arefev andMarco Mazzucco)__Classification of Cellular Automata__(withSaharonShelah) (posted 1/13/98)__Nearly Model Complete Theories and 0-1 laws(Dimacs Series on Discrete Mathematics, 1997____DOP and FCP in generic structures__(withSaharonShelah) (revised summer 99 to correct fcp proof.)__DOP and FCP in generic structures__(withSaharonShelah) (published version)__Transferring Saturation, FCP, andstability__(withSaharon Shelah and Rami Grossberg)__Problems on `pathological'structures)____Constructing $\omega$-stablestructures: Rank 2 fields__with Kitty Holland (original March 23,1998 version; update above)__Constructing $\omega$-stablestructures: Rank 2 fields__with Kitty Holland (dvi version)(March 23,1998)