Consistency of the internal forcing schema IFS
Let be the axiom schema asserting that for every weakly absolutely definable set and every partial order definable in , if
then there is an -generic subset of . A universe has a gap when these hypotheses hold but no such generic subset exists; asserts that there are no gaps. Consistency conjecture. is consistent. This is a consistency claim for the proposed internal forcing schema, motivated by the idea that gaps in the existence of generics should not occur. The supplied text does not provide a relative consistency proof or a refutation.
References
Primary source
Garvin Melles, “Some Natural Internal Forcing Schemata Extending ZFC”, arXiv:math/9209209 (1992).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.