A classification of definable forcings on \(\omega_ 1\). (English) Zbl 0883.03038
Summary: Under the assumption of the existence of sharps for reals all simply definable posets on \(\omega_1\) are classified up to forcing equivalence.
MSC:
03E40 | Other aspects of forcing and Boolean-valued models |
03E45 | Inner models, including constructibility, ordinal definability, and core models |