Natural Internal Forcing Schemata Extending ZFC
Logic
2016-09-06 v1
Abstract
Let V be the universe of sets and V_{\alpha} the sets of rank \leq\alpha. We develop some axiom schemata for set theory based on the following three assumptions: 1. V \models ZFC 2. V is large with respect to the class of ordinals 3. V is large with respect to each of the V_{\alpha}
Keywords
Cite
@article{arxiv.math/9304202,
title = {Natural Internal Forcing Schemata Extending ZFC},
author = {Garvin Melles},
journal= {arXiv preprint arXiv:math/9304202},
year = {2016}
}