Forcing Model Theory

35 books
Intuitionistic logic, model theory and forcingMelvin Fitting
⏱ 3h 11m

Intuitionistic logic, model theory and forcing

Melvin Fitting

1969191 pp.
Proper and Improper ForcingSaharon Shelah
⏱ 17h 23m

Proper and Improper Forcing

Saharon Shelah

19971043 pp.
Notes On Forcing AxiomsStevo Todorcevic
⏱ 3h 54m

Notes On Forcing Axioms

Stevo Todorcevic

2013234 pp.
E-Recursion, Forcing, and C*-AlgebrasChitat Chong
⏱ 3h 48m

E-Recursion, Forcing, and C*-Algebras

Chitat Chong

2014228 pp.
Descriptive set theory and forcingArnold W. Miller
⏱ 2h 10m

Descriptive set theory and forcing

Arnold W. Miller

1995130 pp.
Norms on possibilities IAndrzej Rosłanowski
⏱ 2h 47m

Norms on possibilities I

Andrzej Rosłanowski

1999167 pp.
Fine Structure and Class Forcing (De Gruyter Series in Logic and Its Applications, 3)Sy D. Friedman
⏱ 4h 40m

Fine Structure and Class Forcing (De Gruyter Series in Logic and Its Applications, 3)

Sy D. Friedman

2000280 pp.
The axiom of determinacy, forcing axioms, and the nonstationary idealW. H. Woodin
⏱ 15h 34m

The axiom of determinacy, forcing axioms, and the nonstationary ideal

W. H. Woodin

1999934 pp.
Forcing for MathematiciansNik Weaver
⏱ 2h 32m

Forcing for Mathematicians

Nik Weaver

2014152 pp.
Forcing, arithmetic, division ringsJoram Hirschfeld
⏱ 4h 33m

Forcing, arithmetic, division rings

Joram Hirschfeld

1975273 pp.
Some applications of the method of forcingStevo Todorcevic
⏱ 2h 28m

Some applications of the method of forcing

Stevo Todorcevic

1995148 pp.
Combinatorial Set TheoryLorenz J. Halbeisen
⏱ 9h 1m

Combinatorial Set Theory

Lorenz J. Halbeisen

2012541 pp.
Multiple forcingThomas J. Jech
⏱ 2h 16m

Multiple forcing

Thomas J. Jech

1986136 pp.
The forcing method and the upper semi-lattice hyperdegreesSteven Karl Thomason
⏱ 1h 40m

The forcing method and the upper semi-lattice hyperdegrees

Steven Karl Thomason

1966100 pp.
Proper forcingSaharon Shelah
⏱ 8h 16m

Proper forcing

Saharon Shelah

1982496 pp.
The axiom of determinacy, forcing axioms, and the nonstationary idealW. H. Woodin
⏱ 14h 12m

The axiom of determinacy, forcing axioms, and the nonstationary ideal

W. H. Woodin

2010852 pp.
Forcing Idealized (Cambridge Tracts in Mathematics)Jindrich Zapletal
⏱ 5h 20m

Forcing Idealized (Cambridge Tracts in Mathematics)

Jindrich Zapletal

2008320 pp.
Forcing and classifying topoiAndrej Ščedrov
⏱ 1h 33m

Forcing and classifying topoi

Andrej Ščedrov

198493 pp.
Forcing et sémantique de Kripke-JoyalJ. L. Moens
⏱ 28m

Forcing et sémantique de Kripke-Joyal

J. L. Moens

198228 pp.
Forcing idealizedJindřich Zapletal
⏱ 5h 14m

Forcing idealized

Jindřich Zapletal

2008314 pp.
Page 1 of 2Next →