×

A new proof that \(\pi^1_1<\sigma^1_1\). (English) Zbl 0424.03027


MSC:

03E45 Inner models, including constructibility, ordinal definability, and core models
03D60 Computability and recursion theory on ordinals, admissible sets, etc.
PDFBibTeX XMLCite
Full Text: DOI