Constructive transfinite number classes

DOI10.1090/S0002-9904-1967-11710-5zbMath0155.34101MaRDI QIDQ5536630

Wayne Richter

Publication date: 1967

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

mathematical logic

Related Items (9)

Hierarchies based on objects of finite type¹ ⋮ Constructively accessible ordinal numbers ⋮ Countable admissible ordinals and hyperdegrees ⋮ Omitting types: application to recursion theory ⋮ A Hierarchy Based on a Type Two Object ⋮ Encodability of Kleene's O ⋮ On the upper semi-lattice of -degrees ⋮ The Theory of Countable Analytical Sets ⋮ Forcing and reducibilities. III. Forcing in fragments of set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Recursive Functionals and Quantifiers of Finite Types I
• Constructive Versions of Ordinal Number Classes
• Extensions of the constructive ordinals
• A complete classification of the Δ₂¹-functions
• On Hierarchies and Systems of Notations
• Recursive Functionals and Quantifiers of Finite Types II

This page was built for publication: Constructive transfinite number classes