Inductive definitions over a predicative arithmetic
From MaRDI portal
Publication:2566072
DOI10.1016/J.APAL.2005.05.011zbMath1091.03028OpenAlexW1983194356MaRDI QIDQ2566072
Richard S. Williams, Stanley S. Wainer
Publication date: 22 September 2005
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2005.05.011
ordinal analysisinductive definitionsprovably recursive functionspredicative arithmeticproof-theoretical investigation
First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An independence result for \((\Pi^ 1_ 1-CA)+BI\)
- Consistency proof via pointwise induction
- A slow growing analogue to Buchholz' proof
- A new recursion-theoretic characterization of the polytime functions
- Characterizing the elementary recursive functions by a fragment of Gödel's \(T\)
- Elementary arithmetic
- Π12-logic, Part 1: Dilators
This page was built for publication: Inductive definitions over a predicative arithmetic
