In D. Gabbay M. Fitting (ed.), Research Trends in Contemporary Logic. College Publications (forthcoming)
Authors |
|
Abstract |
We survey recent developments in the theory of class forcing for- malized in the second-order set-theoretic setting.
|
Keywords | Set theory Class forcing |
Categories |
No categories specified (categorize this paper) |
Buy the book |
Find it on Amazon.com
|
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Class Forcing in Class Theory.Carolin Antos - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Birkhäuser. pp. 1-16.
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.
A Formalism for Some Class of Forcing Notions.Piotr Koszmider & P. Koszmider - 1992 - Mathematical Logic Quarterly 38 (1):413-421.
More Notions of Forcing Add a Souslin Tree.Ari Meir Brodsky & Assaf Rinot - 2019 - Notre Dame Journal of Formal Logic 60 (3):437-455.
Distributive Proper Forcing Axiom and Cardinal Invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.
Essential Forcing Generics.Stephanie Cawthorne & David Kueker - 2000 - Notre Dame Journal of Formal Logic 41 (1):41-52.
On a Class of Maximality Principles.Daisuke Ikegami & Nam Trang - 2018 - Archive for Mathematical Logic 57 (5-6):713-725.
Gap Structure After Forcing with a Coherent Souslin Tree.Carlos Martinez-Ranero - 2013 - Archive for Mathematical Logic 52 (3-4):435-447.
Forcing Absoluteness and Regularity Properties.Daisuke Ikegami - 2010 - Annals of Pure and Applied Logic 161 (7):879-894.
Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders.Justin Tatch Moore - 2005 - Bulletin of Symbolic Logic 11 (1):51-60.
Hyperclass Forcing in Morse-Kelley Class Theory.Carolin Antos & Sy-David Friedman - 2017 - Journal of Symbolic Logic 82 (2):549-575.
The Independence of Δ1n.Amir Leshem & Menachem Magidor - 1999 - Journal of Symbolic Logic 64 (1):350 - 362.
Coherent Adequate Forcing and Preserving CH.John Krueger & Miguel Angel Mota - 2015 - Journal of Mathematical Logic 15 (2):1550005.
Sweet & Sour and Other Flavours of Ccc Forcing Notions.Andrzej Rosłanowski & Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (5):583-663.
Analytics
Added to PP index
2021-04-07
Total views
51 ( #220,480 of 2,499,227 )
Recent downloads (6 months)
15 ( #53,227 of 2,499,227 )
2021-04-07
Total views
51 ( #220,480 of 2,499,227 )
Recent downloads (6 months)
15 ( #53,227 of 2,499,227 )
How can I increase my downloads?
Downloads