What is effective transfinite recursion in reverse mathematics?

DOI10.1002/MALQ.202000042MaRDI QIDQ6047666zbMATH OpenOpenAlexWikidataFDO

Authors Anton Freund

Publication date 12 September 2023

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://arxiv.org/abs/2006.08953

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Recursive functions and relations, subrecursive hierarchies (03D20) Second- and higher-order arithmetic and fragments (03F35)

Abstract: In the context of reverse mathematics, effective transfinite recursion refers to a principle that allows us to construct sequences of sets by recursion along arbitrary well orders, provided that each set is $Delt{a}_1^0$-definable relative to the previous stages of the recursion. It is known that this principle is provable in $mathbf{ACA}_0$. In the present note, we argue that a common formulation of effective transfinite recursion is too restrictive. We then propose a more liberal formulation, which appears very natural and is still provable in $mathbf{ACA}_0$.

Recommendations

• Transfinite recursion in higher reverse mathematics
• scientific article; zbMATH DE number 2236637
• Ordinal inequalities, transfinite induction, and reverse mathematics
• Reverse mathematics and well-ordering principles: a pilot study
• Derived sequences and reverse mathematics

Cites work

• scientific article; zbMATH DE number 194101 (Why is no real title available?)
• Ranked structures and arithmetic transfinite recursion
• Subsystems of second order arithmetic
• Transfinite induction within Peano arithmetic

Cited in

(4)

• Weak and strong versions of effective transfinite recursion
• Transfinite recursion and computation in the iterative conception of set
• WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY
• Partial impredicativity in reverse mathematics

This page was built for publication: What is effective transfinite recursion in reverse mathematics?

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