Hyperclass forcing in Morse-Kelley class theory

&
Journal of Symbolic Logic 82 (2):549-575 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2016.74

Other Versions

reprint Antos, Carolin; Friedman, Sy-David (2018) "Hyperclass Forcing in Morse-Kelley Class Theory". In Antos, Carolin, Friedman, Sy-David, Honzik, Radek, Ternullo, Claudio, The Hyperuniverse Project and Maximality, pp. 17-46: Birkhäuser (2018)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,597

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Sy D. Friedman. Fine structure and class forcing. De Gruyter series in logic and its applications, no. 3. Walter de Gruyter, Berlin and New York 2000, x + 221 pp. [REVIEW]M. C. Stanley - 2001 - Bulletin of Symbolic Logic 7 (4):522-525.
Kelley-Morse+Types of well order is not a conservative extension of Kelley Morse.Haim Judah & M. Victoria Marshall - 1994 - Archive for Mathematical Logic 33 (1):13-21.
On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.
Some Cardinal Invariants of the Generalized Baire Spaces, Universität Wien, Austria, 2017. Supervised by Sy-David Friedman.Diana Carolina Montoya - 2018 - Bulletin of Symbolic Logic 24 (2):197-197.
Sy D. Friedman, β-recursion theory. Transactions of the American Mathematical Society, vol. 255 , pp. 173–200. - Sy D. Friedman. Post's problem without admissibility. Advances in mathematics, vol. 35 , pp. 30–49. [REVIEW]Steven Homer - 1981 - Journal of Symbolic Logic 46 (3):664-665.
Class Forcing in Class Theory.Carolin Antos - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Basel, Switzerland: Birkhäuser. pp. 1-16.
Sy D. Friedman. Strong coding. Annals of pure and applied logic, vol. 35, pp. 1–98. - Sy D. Friedman. A guide to “Strong coding.”Annals of pure and applied logic, vol. 35, pp. 99–122. [REVIEW]Philip Welch - 1990 - Journal of Symbolic Logic 55 (3):1311-1313.
The exact strength of the class forcing theorem.Victoria Gitman, Joel David Hamkins, Peter Holy, Philipp Schlicht & Kameryn J. Williams - 2020 - Journal of Symbolic Logic 85 (3):869-905.
Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.

Analytics

Added to PP
2017-06-20

Downloads
26 (#857,659)

6 months
9 (#500,261)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Universism and extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - 2021 - Review of Symbolic Logic 14 (1):112-154.
Universism and Extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - 2021 - Review of Symbolic Logic 14 (1):112-154.
No Easy Road to Impredicative Definabilism.Øystein Linnebo & Sam Roberts - 2024 - Philosophia Mathematica 32 (1):21-33.

Add more citations

References found in this work

What is the theory without power set?Victoria Gitman, Joel David Hamkins & Thomas A. Johnstone - 2016 - Mathematical Logic Quarterly 62 (4-5):391-406.
Forcing closed unbounded sets.Uri Abraham & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):643-657.
Class Forcing in Class Theory.Carolin Antos - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Basel, Switzerland: Birkhäuser. pp. 1-16.

Add more references