A New Proof that π < σ

DOI10.1002/MALQ.19790252504zbMath0424.03027OpenAlexW2115307778MaRDI QIDQ3858259

Richard Gostanian, Karel Hrbacek

Publication date: 1979

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19790252504

zbMATH Keywords

reflecting ordinalsadmissible ordinalsbad ordinalsgood ordinals

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

THE ORDER OF REFLECTION

This page was built for publication: A New Proof that π < σ