Pointwise transfinite induction and a miniaturized predicativity
From MaRDI portal
Publication:3305563
Recommendations
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)
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)