Constructive transfinite number classes

DOI10.1090/S0002-9904-1967-11710-5MaRDI QIDQ5536630zbMATH OpenFDO

Authors Wayne Richter

Publication date 1967

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

Full work available at URL https://doi.org/10.1090/S0002-9904-1967-11710-5

zbMATH Keywords

mathematical logic

Cites work

• A complete classification of the Δ₂¹-functions
• Constructive Versions of Ordinal Number Classes
• Extensions of the constructive ordinals
• scientific article; zbMATH DE number 3158800 (Why is no real title available?)
• scientific article; zbMATH DE number 3230250 (Why is no real title available?)
• On Hierarchies and Systems of Notations
• Recursive Functionals and Quantifiers of Finite Types I
• Recursive Functionals and Quantifiers of Finite Types II

Cited in

(9)

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

This page was built for publication: Constructive transfinite number classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5536630)