Ordinal Numbers and Predicative Set Theory
From MaRDI portal
Publication:3262777
DOI10.1002/malq.19590051403zbMath0090.00904OpenAlexW1994598652MaRDI QIDQ3262777
Publication date: 1959
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19590051403
Related Items
Systems of predicative analysis ⋮ On Minimal and Almost-Minimal Systems of Notations ⋮ Hierarchies in Recursive Function Theory ⋮ Predicativity and constructive mathematics ⋮ Constructive Versions of Ordinal Number Classes ⋮ Operation and Predicativity: Lorenzen’s Approach to Arithmetic