Functionals defined by transfinite recursion

DOI10.2307/2270132MaRDI QIDQ5343335zbMATH OpenOpenAlexFDO

Authors W. W. Tait

Publication date 1965

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2270132

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• Nested recursion

Cited in

(16)

• Constructing recursion operators in intuitionistic type theory
• Gentzen reduction revisited
• Transfinite expansions of arithmetic formulas
• Closing the gap between the continuous functionals and recursion in \(^3E\)
• Epsilon substitution method for elementary analysis
• Ackermann's substitution method (remixed)
• Exact estimates of the provability of transfinite induction in the initial segments of arithmetic
• Update procedures and the 1-consistency of arithmetic
• Pa-Beweisbare ∀∃-Formeln
• Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
• Axiomatic recursion theory and the continuous functionals
• König's lemma, the ω-Rule and primitive recursive arithmetic
• Classe of functions defined by transducers
• Consistency proof without transfinite induction for a formal system for turing machines
• Exact bounds on epsilon processes
• Foundations for analysis and proof theory

This page was built for publication: Functionals defined by transfinite recursion

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