[For applications in algebraic geometry see the algebraic geometry
folder.]
---------------------------------------------------------------------
14308 John Baldwin: Theories in finite model theory. Internet 1999, 9p.

14309 John Baldwin: Finite and infinite model theory - a historical
perspective. Internet 1999, 25p.

14299 Jon Barwise (ed.): Handbook of mathematical logic. North-Holland 1978.

14301 Jon Barwise: An introduction to first-order logic.
In 14299 Barwise, 5-46.

14566 John Bell/Moshe Machover: A course in mathematical logic.
North-Holland 1997, 600p. $114.

3208 J. Bell/A. Slomson: Models and ultraproducts. North-Holland 1969.

14339 C. Chang: Model theory 1945-1971.
Proc. Symp. Pure Math. 25 (1974), 173-186.

Chang/Keisler: ... $170.

14310 B. Courcelle/J. Makowsky: Fusion in relational structures and
the verification of monadic second-order properties. Internet 2001, 33p.

W. Craig/R. Vaught: Finite axiomatizability using additional
predicates. J. Symb. Logic 23 (1959), 289-308.

10830 Arnaud Durand/Ronald Fagin/Bernd Loescher: Spectra with only
unary function symbols. Internet 1997, 13p.

14420 Heinz-Dieter Ebbinghaus/Jo''rg Flum: Finite model theory.
Springer 1999, 360p. DM 79.

14302 Paul Eklof: Ultraproducts for algebraists. In 14299 Barwise, 105-137.

14334 Ronald Fagin: Generalized first-order spectra and
polynomial-time recognizable sets. In Karp 1974, 43-73.

14313 Ronald Fagin: Finite model theory - a personal perspective.
Theor. Comp. Sci. 116 (1993), 3-31.

J. Flum: Modelltheorie - topologische Modelltheorie.
Jber. DMV 86/2 (1984), 69-82.

R. Goldblatt: Lectures on the hyperreals. An introduction to
nonstandard analysis. Springer 1998, 290p. DM 98.
"Der Titel bringt nicht zum Ausdruck, das'' dieses Buch weit u''ber
die u''blichen Inhalte der Nonstandard-Analysis hinausgeht. Diese wird
zuna''chst in durchsichtiger Form aus der Ultraprodukt-Konstruktion
der hyperreellen Zahlen entwickelt. Diese Rekonstruktion der
klassischen Analysis wird dann mit der Behandlung interner und externer
Mengen verlassen. Die weiteren Kapitel entwickeln, basierend auf dem
Begriff eines Universums eine allgemeine Nonstandard-Methodologie, in
die die vorhergehenden Konstruktionen eingebettet werden. Diese
Verfahren gestatten dann Anwendungen aus''erhalb der Analysis auf
Mas''theorie (Loeb-Mas''), Kombinatorik (Ramsey-Theorem), diverse
Vervollsta''ndigungen, Boolesche Algebren (Theorem von Stone) und den
Satz von Hahn-Banach. Der Autor ist erfolgreich bemu''ht, durch viele
Anmerkungen und Erla''uterungen Beziehungen und Entwicklungen
transparent zu machen. Insgesamt ein faszinierendes Buch."
(W. Do''rfler)

Bradd Hart/Ehud Hrushovski/Michael Laskowski: The uncountable spectra
of countable theories. Ann. Math. 152 (2000), 207-257.

14382 Joan Hart/Kenneth Kunen: Bohr compactifications of discrete structures.
Fund. Math. 160 (1999), 101-151.

J. van Heijenoort: From Frege to Go''del. A source book in mathematical
logic, 1879-1931. Harvard UP 1967.

W. Hodges: Model theory. Cambridge UP 1993, 770p. 0-521-30442-3. $ 200.

14351 Wilfrid Hodges: A shorter model theory. Cambridge UP 2000, 310p. DM 89.

Richard Karp (ed.): Complexity of computation. SIAM-AMS Proc. 7 (1974).

4303 H. Keisler: Fundamentals of model theory. In 14299 Barwise, 47-103.

15021 Robert Kowalski: Logic without model theory.
Internet ca. 1995, 37p.

G. Kreisel/J. Krivine: Modelltheorie.
Springer 1972, 280p. 3-540-05654-8. DM 43.

14300 Angus Macintyre: Model completeness. In 14299 Barwise, 139-180.

Annalisa Marcja: From Tarski to Hrushovski - birth and splendor of
model theory. Boll. UMI B (8) 3/2 (2000), 287-300.

14298 Annalisa Marcja/Carlo Toffalori: Introduzione alla teoria dei
modelli. Quad. UMI 43 (1998). Pitagora 1998.

David Marker: Model theory - an introduction. Springer 2002, 360p. $52.

14304 Michael Morley: Homogeneous sets. In 14299 Barwise, 181-196.

Michael Morley/Robert Vaught: Homogeneous universal models.
Math. Scand. 11 (1962), 37-57.

Bruno Poizat: A course in model theory. Springer 2000, 440p. $50.

1771 Alexander Prestel: Einfu''hrung in die mathematische Logik und
Modelltheorie. Vieweg 1986.

Abraham Robinson: Introduction to model theory. North-Holland 1963.

14352 Philipp Rothmaler: Einfu''hrung in die Modelltheorie.
Spektrum 1995, 330p. DM 40.

Saharon Shelah: Every two elementarily equivalent models have isomorphic
ultraproducts. Israel J. Math. 10 (1971), 224-233.

Saharon Shelah: Around classification theory of models.
Springer LN Math. 1182 (1986), 280p. DM 43.

Saharon Shelah: Classification theory. North-Holland 1990, 710p. $315 (!).

Alfred Tarski/Robert Vaught: Arithmetical extensions of relational
systems. Compos. Math. 13 (1957), 82-102.

16636 Carlo Toffalori/Stefano Leonesi/Sonia L'Innocente: Cinquanta anni di
teoria dei modelli. Boll. UMI Mat. Soc. Cultura Agosto 2004, 347-381.

Robert Vaught: Sentences true in all constructive models.
J. Symb. Logic 25 (1961), 39-53.

Robert Vaught: Models of complete theories.
Bull. AMS 69 (1963), 299-313.

Robert Vaught: Some aspects of the theory of models.
Am. Math. Monthly 80/6 (1973), 3-37.

14338 Robert Vaught: Model theory before 1945.
Proc. Symp. Pure Math. 25 (1974), 153-172.

Robert Vaught: Invariant sets in topology and logic.
Fund. Math. 82 (1974), 269-294.

Robert Vaught: Alfred Tarski's work in model theory.
J. Symb. Logic 51 (1986), 869-882.