Cover Image

QR Code

Simple theories and hyperimaginaries

Show other versions (1)

Saved in:

Bibliographic Details
Main Author:	Casanovas, Enrique, 1957-
Corporate Author:	ebrary, Inc
Format:	Electronic eBook
Language:	English
Published:	New York : Cambridge University Press, 2011.
Series:	Lecture notes in logic ; 39.
Subjects:	Model theory. First-order logic. Hyperspace. Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Simple theories and hyperimaginaries
by: Casanovas, Enrique, 1957-
Published: (2011)

Institution-independent model theory
by: Diaconescu, Răzvan
Published: (2008)

Institution-independent model theory
by: Diaconescu, Răzvan
Published: (2008)

Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993)

Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993)

Logic without borders /
Published: (2015)

Logic without borders /
Published: (2015)

Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Published: (1998)

Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Published: (1998)

Distribution models theory
Published: (2006)

Distribution models theory
Published: (2006)

Tracking reason proof, consequence, and truth /
by: Azzouni, Jody
Published: (2006)

Proof, logic, and formalization
Published: (1992)

Mathematical logic
by: Tourlakis, George J.
Published: (2003)

Mathematical logic
by: Tourlakis, George J.
Published: (2003)

Proof, logic, and formalization
Published: (1992)

Tracking reason proof, consequence, and truth /
by: Azzouni, Jody
Published: (2006)

Concepts of proof in mathematics, philosophy, and computer science /
Published: (2016)

Infinity and the mind : the science and philosophy of the infinite /
by: Rucker, Rudy
Published: (1982)

Infinity and the mind : the science and philosophy of the infinite /
by: Rucker, Rudy
Published: (1982)

Concepts of proof in mathematics, philosophy, and computer science /
Published: (2016)

The axiom of determinacy, forcing axioms, and the nonstationary ideal
by: Woodin, W. H. (W. Hugh)
Published: (2010)

The axiom of determinacy, forcing axioms, and the nonstationary ideal
by: Woodin, W. H. (W. Hugh)
Published: (2010)

Essays on non-classical logic
Published: (2001)

Essays on non-classical logic
Published: (2001)

Logic for concurrency and synchronisation
Published: (2003)

Logic for concurrency and synchronisation
Published: (2003)

Flatland a romance of many dimensions /
by: Abbott, Edwin Abbott, 1838-1926
Published: (2001)

Flatland a romance of many dimensions /
by: Abbott, Edwin Abbott, 1838-1926
Published: (2001)

Fine structure and class forcing
by: Friedman, Sy D., 1953-
Published: (2000)

Fine structure and class forcing
by: Friedman, Sy D., 1953-
Published: (2000)

The birth of model theory Löwenheim's theorem in the frame of the theory of relatives /
by: Badesa, Calixto
Published: (2004)

The birth of model theory Löwenheim's theorem in the frame of the theory of relatives /
by: Badesa, Calixto
Published: (2004)

Logical reasoning with diagrams
Published: (1996)

Logical reasoning with diagrams
Published: (1996)

Infinity and truth /
Published: (2014)

Infinity and truth /
Published: (2014)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
by: Goldblatt, Robert
Published: (2011)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
by: Goldblatt, Robert
Published: (2011)

Logical dynamics of information and interaction
by: Benthem, J. F. A. K. van, 1949-
Published: (2011)