Henkin-Keisler models/

Main Author:	Weaver, George
Format:	Book
Published:	Dordrecht : Kluwer Academic Publishers, c1997
Series:	Mathematics and its applications ; v. 392
Subjects:	Model theory Ultraproducts First-order logic

Similar Items

Three-space problems in Banach space theory/
by: Castillo, Jesu?s M. F.
Published: (1997)

Dependence logic : a new approach to independence friendly logic /
by: Väänänen, J. 1950-
Published: (2007)

First order mathematical logic /
by: Margaris, Angelo
Published: (1967)

Formal logic : its scope and limits /
by: Jeffrey, Richard C.
Published: (1981)

A philosophical companion to first-order logic/
Published: (1993)

Metalogic: an introduction to the metatheory of standard first order logic/
by: Hunter, Geoffrey
Published: (1971)

Formal logic: its scope and limits/
by: Jeffrey, Richard C.
Published: (1967)

The language of first-order logic: including the Mackintosh version of Tarski's world 4.0/
by: Barwise, Jon
Published: (1993)

Tarski's world 3.0, including the Macintosh program/
by: Barwise, Jon
Published: (1991)

A philosophical companion to first-order logic/
Published: (1993)

Metalogic: an introduction to the metatheory of standard first order logic/
by: Hunter, Geoffrey
Published: (1996)

Formal logic: its scope and limits/
by: Jeffrey, Richard C.
Published: (1990)

Formal logic : its scope and limits /
by: Jeffrey, Richard
Published: (1991)

First-order logic/
Published: (2000)

First-order logic: an introduction/
by: Cauman, Leigh S.
Published: (1998)

The language of first-order logic= Tarski's world. 1991 : including the Macintosh program Tarski's world/
by: Barwise, Jon
Published: (1991)

First order mathematical logic/
by: Margaris, Angel
Published: (1990)

First-order logic/
by: Smullyan, Raymond M.
Published: (1968)

First-order logic/
by: Smullyan, Raymond M.
Published: (1968)

A lattice of chapters of mathematics : interpretations between theorems /
by: Mycielski, Jan, 1932-
Published: (1990)

Automorphisms of first-order structures/
Published: (1994)

First-order logic/
by: Smullyan, Raymond M.
Published: (1971)

Duality and definability in first order logic/
by: Makkai, Michael, 1939-
Published: (1993)

Proof theory/
by: Takeuti, Gaisi, 1926-
Published: (1975)

Model theory/
by: Hodges, Wilfrid, 1941-
Published: (1993)

Model theory/
by: Chang, Chen Chung, 1927-
Published: (1990)

Extensions of first order logic /
by: Manzano, Mari?a
Published: (1996)

Models of disorder : the theoretical physics of homogeneously disordered systems /
by: Ziman, J. M.
Published: (1979)

Institution-independent model theory /
by: Diaconescu, Razvan
Published: (2008)

Finite model theory/
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1999)

A course in model theory: an introduction to contemporary mathematical logic/
by: Poizat, Bruno
Published: (2000)

Théorie des modéles en logique mathématique/
by: Daigneault, Aubert
Published: (1967)

Model-theoretic constructions in many-valued modal logic/
by: Ελευθερίου, Παντελής Ε.
Published: (2002)

A shorter model theory
by: Hodges, Wilfrid
Published: (1997)

Logic, language-games and information: Kantian themes in the philosophy of logic/
by: Hintikka, Jaakko, 1929-
Published: (1973)

Predicative arithmetic/
by: Nelson, Edward
Published: (1986)

Mathematical logic : an introduction to model theory /
by: Lightstone, A. H.
Published: (1978)

Descriptive Complexity and Finite Models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University /
Published: (1997)

Dynamics of nonlinear and disordered systems /
Published: (1995)

Order and disorder in the world of atoms /
by: Kitaigorodsky, A. I.
Published: (1980)

Cannot write session to /tmp/vufind_sessions/sess_doaeqqg0rcbtdko59mimulnpd4