scientific article; zbMATH DE number 510775
From MaRDI portal
Publication:4281248
Recommendations
Cited in
(18)- Eine Erweiterung T(V') des Ordinalzahlensystems \(C_{\Omega}(\Lambda _ 0)\) von G. Jäger. (An extension T(V') of the ordinal system \(C_{\Omega}(\Lambda _ 0)\) by G. Jäger)
- A uniform approach for characterizing the provably total number-theoretic functions of KPM and (some of) its subsystems
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
- Induction-recursion and initial algebras.
- Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM
- Wellfoundedness proof with the maximal distinguished set
- A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\)
- scientific article; zbMATH DE number 4134035 (Why is no real title available?)
- ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
- scientific article; zbMATH DE number 1136111 (Why is no real title available?)
- AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS
- scientific article; zbMATH DE number 888989 (Why is no real title available?)
- scientific article; zbMATH DE number 1390277 (Why is no real title available?)
- Zur Beweistheorie Von KPM
- Proof-theoretic analysis of KPM
- The Bachmann-Howard structure in terms of _1-elementarity
- Ordinal notations based on a weakly Mahlo cardinal
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281248)
