Pointwise transfinite induction and a miniaturized predicativity

DOI10.1007/978-3-319-29198-7_13MaRDI QIDQ3305563zbMATH OpenOpenAlexFDO

Authors Stanley S. Wainer

Publication date 7 August 2020

Published in Advances in Proof Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-29198-7_13

zbMATH Keywords

Peano arithmeticfundamental sequencecomputable functioncomputation ruleinfinitary system

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

Recommendations

• The proof-theoretic analysis of transfinitely iterated fixed point theories
• Transfinite induction within Peano arithmetic
• A hierarchy of ramified theories below PRA
• scientific article; zbMATH DE number 1420857
• scientific article; zbMATH DE number 1215495

Cites work

• scientific article; zbMATH DE number 3781167 (Why is no real title available?)
• scientific article; zbMATH DE number 3531352 (Why is no real title available?)
• scientific article; zbMATH DE number 1390283 (Why is no real title available?)
• A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions
• A hierarchy of ramified theories below PRA
• A new recursion-theoretic characterization of the polytime functions
• A note on the theory \(\mathrm{SID}_{<\omega}\) of stratified induction
• An independence result for \((\Pi^ 1_ 1-CA)+BI\)
• Elementary arithmetic
• Polytime, combinatory logic and positive safe induction
• Proofs and computations
• Systems of predicative analysis, II: Representations of ordinals
• The realm of primitive recursion

Cited in

(5)

• A hierarchy of ramified theories below PRA
• A note on the theory \(\mathrm{SID}_{<\omega}\) of stratified induction
• scientific article; zbMATH DE number 3931004 (Why is no real title available?)
• Tiered arithmetics
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION

This page was built for publication: Pointwise transfinite induction and a miniaturized predicativity

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