scientific article
From MaRDI portal
Publication:3214912
zbMath0272.02065MaRDI QIDQ3214912
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Large cardinals (03E55) Recursive ordinals and ordinal notations (03F15) Hierarchies of computability and definability (03D55)
Related Items (5)
A Π¹₁-uniformization principle for reals ⋮ Hyperarithmetically Encodable Sets ⋮ Operational set theory and small large cardinals ⋮ The Theory of Countable Analytical Sets ⋮ Reflections on reflections in explicit mathematics
This page was built for publication: