On a problem of Kleene’s

DOI10.1090/S0002-9904-1960-10518-6zbMath0097.24603MaRDI QIDQ3276698

R. O. Gandy

Publication date: 1960

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (12)

A complete classification of the Δ₂¹-functions ⋮ Some results in the effective descriptive set theory ⋮ A note on the hyperarithmetical hierarchy ⋮ Sacks forcing sometimes needs help to produce a minimal upper bound ⋮ Omitting types: application to recursion theory ⋮ Recursive Pseudo-Well-Orderings ⋮ Classes of Polish spaces under effective Borel isomorphism ⋮ Measure-Theoretic Uniformity in Recursion Theory and Set Theory ⋮ Computing sets from all infinite subsets ⋮ Polish Group Actions and the Vaught Conjecture ⋮ The strength of Mac Lane set theory ⋮ RANDOMNESS IN THE HIGHER SETTING

Cites Work

• Unnamed Item
• Unnamed Item
• Arithmetical Predicates and Function Quantifiers
• Hierarchies of number-theoretic predicates
• Recursive well-orderings
• The classical and the ω-complete arithmetic
• EIGHTY YEARS OF FOUNDATIONAL STUDIES

This page was built for publication: On a problem of Kleene’s