HYPERCLASS FORCING IN MORSE-KELLEY CLASS THEORY

@article{Antos2017HYPERCLASSFI,
  title={HYPERCLASS FORCING IN MORSE-KELLEY CLASS THEORY},
  author={Carolin Antos and Sy-David Friedman},
  journal={The Journal of Symbolic Logic},
  year={2017},
  volume={82},
  pages={549 - 575}
}
  • C. Antos, S. Friedman
  • Published 14 October 2015
  • Mathematics, Computer Science
  • The Journal of Symbolic Logic
Abstract In this article we introduce and study hyperclass-forcing (where the conditions of the forcing notion are themselves classes) in the context of an extension of Morse-Kelley class theory, called MK**. We define this forcing by using a symmetry between MK** models and models of ZFC− plus there exists a strongly inaccessible cardinal (called SetMK**). We develop a coding between β-models ${\cal M}$ of MK** and transitive models M + of SetMK** which will allow us to go from ${\cal M}$ to M… 
Boolean-valued class forcing
We show that the Boolean algebras approach to class forcing can be carried out in the theory Kelley-Morse plus the Choice Scheme (KM + CC) using hyperclass Boolean completions of class partial
MINIMUM MODELS OF SECOND-ORDER SET THEORIES
Abstract In this article I investigate the phenomenon of minimum and minimal models of second-order set theories, focusing on Kelley–Morse set theory KM, Gödel–Bernays set theory GB, and GB augmented
The Structure of Models of Second-order Set Theories
This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the
Feferman’s Forays into the Foundations of Category Theory
This paper is primarily concerned with assessing a set-theoretical system, \(S^*\), for the foundations of category theory suggested by Solomon Feferman. \(S^*\) is an extension of NFU, and may be
Structural Properties of the Stable Core.
The stable core, an inner model of the form $\langle L[S],\in, S\rangle$ for a simply definable predicate $S$, was introduced by the first author in [Fri12], where he showed that $V$ is a class
The enriched stable core and the relative rigidity of HOD
In the author’s 2012 paper, the V -definable Stable Core S = (L[S], S) was introduced. It was shown that V is generic over S (for S-definable dense classes), each V -definable club contains an
Capturing the Universe
TLDR
Mighty Mouse is introduced, an absolute mouse of strength far less than one Woodin cardinal, and it is shown that it captures V in the sense that V is a generic extension of one of its definable iterates via a forcing that is definable and whose antichains are sets.
UNIVERSISM AND EXTENSIONS OF V
TLDR
A method of interpreting extension-talk (V-logic) is presented, and it is shown how it captures satisfaction in ‘ideal’ outer models and relates to impredicative class theories.
MODERN CLASS FORCING
We survey recent developments in the theory of class forcing formalized in the second-order set-theoretic setting.
L O ] 1 9 Ju l 2 01 8 Universism and Extensions of V
A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a
...
...

References

SHOWING 1-10 OF 18 REFERENCES
Class Forcing in Class Theory
In this article we show that Morse-Kelley class theory (MK) provides us with an adequate framework for class forcing. We give a rigorous definition of class forcing in a model \((M,\mathcal {C})\) of
CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
TLDR
It is shown that both the definability (and, in fact, even the amenability) of the forcing relation and the truth lemma can fail for class forcing, and the forcing theorem is equivalent to the existence of a Boolean completion.
Forcing closed unbounded sets
Abstract We discuss the problem of finding forcing posets which introduce closed unbounded subsets to a given stationary set.
Fine Structure and Class Forcing
Coding the Universe
What is the theory ZFC without power set?
We show that the theory ZFC- , consisting of the usual axioms of ZFC but with the power set axiom removed—specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation,
A ntos , Class forcing in class theory , Proceedings of the JTFHyperuniverse Project , Birkhäuser , forthcoming . [ 2 ] U . A braham and S . S helah , Forcing closed unbounded sets
  • Coding the Universe , Lecture Note Series
  • 1982
Unions of ZF-models which are themselves ZFmodels, Logic Colloquium
  • (Prague,
  • 1980
5 Suppose ϕ is Σ 1 and L |= ϕ(κ) whenever κ is an L-cardinal. Then there exists a real R < L 0 such that Λ(R) ⊆ {α | L |= ϕ(α)} and R is cardinal preserving over L
    ...
    ...