Gostanian, Richard; Hrbáček, Karel A new proof that \(\pi^1_1<\sigma^1_1\). (English) Zbl 0424.03027 Z. Math. Logik Grundlagen Math. 25, 407-408 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03E45 Inner models, including constructibility, ordinal definability, and core models 03D60 Computability and recursion theory on ordinals, admissible sets, etc. Keywords:reflecting ordinals; admissible ordinals; good ordinals; bad ordinals Citations:Zbl 0305.02051; Zbl 0424.03024 PDFBibTeX XMLCite \textit{R. Gostanian} and \textit{K. Hrbáček}, Z. Math. Logik Grundlagen Math. 25, 407--408 (1979; Zbl 0424.03027) Full Text: DOI