Now we turn to the absolutness of the notion of constructibility. There is a formula Λ(x) which says that x is constructible, and which holds in L iff it holds in V. Λ(x) is not Δ0, nor is it absolute over all transitive classes, so some subtleties come into play. (It is absolute between models of ZF.) Continue reading
Recent Comments
Reflection groups -… on Set Theory Jottings 5. Zermelo… Bhupinder Singh Anan… on Set Theory Jottings 29. D… Michael Weiss on Set Theory Jottings 29. D… Bhupinder Singh Anan… on Set Theory Jottings 29. D… Michael Weiss on Aristotle and Falling Obj…
Diagonal Argument 