The total set-recursive functions of \textsf{KPI} and related systems
From MaRDI portal
Publication:7325791
Higher-type and set recursion theory (03D65) Axiomatics of classical set theory and its fragments (03E30) Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15) Second- and higher-order arithmetic and fragments (03F35) Gödel numberings and issues of incompleteness (03F40)
Cites work
- Σ1 definitions with parameters
- A new system of proof-theoretic ordinal functions
- Consistency proofs of subsystems of classical analysis
- Functorial Fast-Growing Hierarchies
- scientific article; zbMATH DE number 4039890 (Why is no real title available?)
- scientific article; zbMATH DE number 3702644 (Why is no real title available?)
- scientific article; zbMATH DE number 3786765 (Why is no real title available?)
- scientific article; zbMATH DE number 194101 (Why is no real title available?)
- scientific article; zbMATH DE number 3494394 (Why is no real title available?)
- scientific article; zbMATH DE number 3572133 (Why is no real title available?)
- scientific article; zbMATH DE number 1215496 (Why is no real title available?)
- Hyperations, Veblen progressions and transfinite iteration of ordinal functions
- On the interpretation of non-finitist proofs–Part II
- Proof theory. The first step into impredicativity
- Provability algebras and proof-theoretic ordinals. I
- Reflection algebras and conservation results for theories of iterated truth
- The consistency of arithmetics
This page was built for publication: The total set-recursive functions of \textsf{KPI} and related systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7325791)
