Representability in some systems of second order arithmetic

DOI10.1007/BF02798678zbMath0216.00602MaRDI QIDQ2545877

Peter Aczel

Publication date: 1970

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items (4)

Hyperarithmetically Encodable Sets ⋮ Recursion in Kolmogorov's R-operator and the ordinal σ₃ ⋮ On computability with functionals ⋮ Recursion in a quantifier vs. elementary induction

Cites Work

• The classical and the ω-complete arithmetic
• Recursive Functionals and Quantifiers of Finite Types I
• An infinitistic rule of proof
• Hyperanalytic Predicates
• Hierarchies of Effective Descriptive Set Theory
• Recursive Functionals and Quantifiers of Finite Types II

This page was built for publication: Representability in some systems of second order arithmetic