Natural Internal Forcing Schemata Extending ZFC
Garvin Melles
math.LOarXiv:math/9304202
Abstract
Let V be the universe of sets and Vα the sets of rank ≤α. We develop some axiom schemata for set theory based on the following three assumptions: 1. V ZFC 2. V is large with respect to the class of ordinals 3. V is large with respect to each of the Vα
Create a lesson
Related papers
The universal measure of nonstochastic objects
Vladimir Vovk
Hyperarithmetic directions can all be exceptional for Marstrand's projection theorem
Noam Greenberg, Daniel Turetsky
Open Problems in Mathematical Logic
George Barmpalias, Su Gao, Jialiang He et al.
An easy proof that there may be no P-points
David Chodounský, Osvaldo Guzmán, Jonathan Verner
Comments on Choiceless Chain Conditions
Constance Bromham, Asaf Karagila
Localic Esakia Duality via Conic Frames
Nesta van der Schaaf