×

Found 224 Documents (Results 1–100)

Properness under closed forcing. (English) Zbl 07615257

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 223-229 (2021).
MSC:  03Bxx 03Exx 03Fxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Proper and improper forcing. 2nd edition. Reprint of the 1998 original published by Springer. (English) Zbl 1365.03012

Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16836-7/hbk; 978-1-316-71723-3/ebook). xlviii, 1020 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Proper forcing remastered. (English) Zbl 1367.03094

Cummings, James (ed.) et al., Appalachian set theory 2006–2012. Based on the Appalachian set theory workshop series during the period 2006–2012. Cambridge: Cambridge University Press (ISBN 978-1-107-60850-4/pbk). London Mathematical Society Lecture Note Series 406, 331-362 (2013).
MSC:  03E35 03E57 03E40
PDF BibTeX XML Cite
Full Text: arXiv

Iterated forcing and the continuum hypothesis. (English) Zbl 1367.03088

Cummings, James (ed.) et al., Appalachian set theory 2006–2012. Based on the Appalachian set theory workshop series during the period 2006–2012. Cambridge: Cambridge University Press (ISBN 978-1-107-60850-4/pbk). London Mathematical Society Lecture Note Series 406, 207-244 (2013).
MSC:  03E35 03E50 03E40
PDF BibTeX XML Cite

Set mapping reflection. (English) Zbl 1367.03080

Cummings, James (ed.) et al., Appalachian set theory 2006–2012. Based on the Appalachian set theory workshop series during the period 2006–2012. Cambridge: Cambridge University Press (ISBN 978-1-107-60850-4/pbk). London Mathematical Society Lecture Note Series 406, 121-144 (2013).
MSC:  03E05 03E35
PDF BibTeX XML Cite

Combinatorial set theory. With a gentle introduction to forcing. (English) Zbl 1237.03001

Springer Monographs in Mathematics. Berlin: Springer (ISBN 978-1-4471-2172-5/hbk; 978-1-4471-2173-2/ebook). xvi, 453 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI

Logic and foundations the proper forcing axiom. (English) Zbl 1258.03075

Bhatia, Rajendra (ed.) et al., Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Vol. II: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency (ISBN 978-981-4324-32-8/hbk; 978-81-85931-08-3/hbk; 978-981-4324-30-4/set; 978-981-4324-35-9/ebook). 3-29 (2011).
Reviewer: K. P. Hart (Delft)
PDF BibTeX XML Cite
Full Text: Link

The axiom of determinacy, forcing axioms, and the nonstationary ideal. 2nd revised ed. (English) Zbl 1203.03059

de Gruyter Series in Logic and Its Application 1. Berlin: Walter de Gruyter (ISBN 978-3-11-019702-0/hbk; 978-3-11-021317-1/ebook). vi, 852 p. (2010).
PDF BibTeX XML Cite

Handbook of set theory. In 3 volumes. (English) Zbl 1197.03001

Dordrecht: Springer (ISBN 978-1-4020-4843-2/hbk; 978-1-4020-5764-9/ebook). xiv, pp. 1-736/Vol. 1; xiv, pp. 737-1447/Vol. 2; xiv, pp. 1449-2197/Vol. 3. (2010).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Software