Consistency of the internal forcing schema IFS
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.
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Sources & referencesView supporting material
Primary source
Garvin Melles, “Some Natural Internal Forcing Schemata Extending ZFC”, arXiv:math/9209209 (1992).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.