Pointwise Transfinite Induction and a Miniaturized Predicativity

DOI10.1007/978-3-319-29198-7_13zbMath1439.03102OpenAlexW2499879742MaRDI QIDQ3305563

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)

Related Items (1)

Tiered Arithmetics

Cites Work

• An independence result for \((\Pi^ 1_ 1-CA)+BI\)
• The realm of primitive recursion
• A new recursion-theoretic characterization of the polytime functions
• Polytime, combinatory logic and positive safe induction
• Elementary arithmetic
• A note on the theory SID<ω of stratified induction
• Proofs and Computations
• A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions
• Systems of predicative analysis, II: Representations of ordinals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Pointwise Transfinite Induction and a Miniaturized Predicativity