Forcing for mathematicians /

Main Author:	Weaver, Nik, (Author)
Format:	Book
Language:	English
Subjects:	Forcing (Model theory) Set theory. Axiom of choice.
Online Access:	http://site.ebrary.com/lib/ucy/Doc?id=10845314

Similar Items

Notes on forcing axioms /
by: Todorcevic, Stevo.

Intuitionistic logic, model theory and forcing/
by: Fitting, Melvin, 1942-
Published: (1969)

Multiple forcing/
by: Jech, Thomas J.
Published: (1986)

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

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

Direct and converse theorems : the elements of symbolic logic /
by: Gradshtei?n, I. S.
Published: (1963)

Equivalents of the axiom of choice, II/
by: Rubin, Herman
Published: (1985)

The axiom of choice/
by: Jech, Thomas J.
Published: (1973)

Axiom of choice/
by: Herrlich, Horst
Published: (2006)

Consequences of the axiom of choice/
by: Howard, Paul
Published: (1998)

Proper forcing/
by: Shelah, Saharon
Published: (1982)

Proper and improper forcing/
by: Shelah, Saharon
Published: (1998)

Εισαγωγή στα μαθηματικά/
by: Εξαρχάκος, Θεόδωρος Γ.
Published: (1991)

Freydʹs models for the independence of the axiom of choice/
by: Blass, Andreas, 1947-
Published: (1989)

Consequences of Martin's axiom/
by: Fremlin, D. H.
Published: (1984)

Computational prospects of infinity
Published: (2008)

Proofs and fundamentals : a first course in abstract mathematics /
by: Bloch, Ethan D., 1956-
Published: (2011)

Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)

An axiomatic basis for quantum mechanics /
by: Ludwig, Gunther, 1918-
Published: (1985)

Lectures in logic and set theory /
by: Tourlakis, George J.
Published: (2003)

Το άπειρο και ο νους/
by: Rucker, Rudy von Bitter, 1946-
Published: (1999)

Forcing, arithmetic, division rings/
by: Hirschfeld, Joram
Published: (1975)

Éléments de logique mathématique : théorie des modèles /
by: Kreisel, Georg
Published: (1967)

Set theory for the mathematician/
by: Rubin, Jean E.
Published: (1967)

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

Η αριθμητική των ακεραίων: μέρος πρώτον/
by: Πολυδούρης, Βαγγέλης
Published: (1991)

Logic without borders /

Foundations of logic and mathematics : applications to computer science and cryptography /
by: Nievergelt, Yves
Published: (2002)

Αξιωματική μέθοδος: μεθοδολογία/
by: Blanche, Robert

Introduction to model theory /
by: Rothmaler, Philipp
Published: (2000)

Model theory : an introduction /
by: Marker, D. 1958-
Published: (2002)

Model theory an introduction /
by: Marker, D. 1958-
Published: (2002)

Model theory /
by: Manzano, Marνa
Published: (1999)

Distribution models theory
Published: (2006)

Institution-independent model theory
by: Diaconescu, Rζazvan.
Published: (2008)

Infinity and truth /

Applications of model theory to algebra, analysis, and probability/
Published: (1969)

Model theory and modules/
by: Prest, Mike
Published: (1988)

Modelisation et simulation des ecoulements turbulents/
by: Schiestel, Roland
Published: (1993)

Fundamentals of stability theory/
by: Baldwin, John T.
Published: (1988)

Cannot write session to /tmp/vufind_sessions/sess_1k73fqojdf66e04qhaq79pdok4