scientific article; zbMATH DE number 432702

MaRDI QIDQ3138829zbMATH OpenFDO

Authors Wilfried Buchholz

Publication date 1 September 1994

zbMATH Keywords

admissible proof theorycollapsing functionconstructible hierarchyimpredicative cut elimination theoreminfinitary proof system for a ramified set theoryKripke- Platek theory of admissible sets with iterationlocal predicativityordinal analysisweakly inaccessible cardinal

Mathematics Subject Classification ID

Set theory (03E99) Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15) Complexity of proofs (03F20)

Recommendations

• Local possibilistic logic
• How to characterize provably total functions by local predicativity
• Local deductions theorems
• Local quantifier elimination
• Local consistency of arithmetic with an attainability predicate
• scientific article; zbMATH DE number 1379305
• Local properties in modal logic
• Local completeness and drop theorem
• scientific article; zbMATH DE number 3955083
• A Local System for Intuitionistic Logic

Cited in

(29)

• Patterns of resemblance of order 2
• Well-ordering proofs for Martin-Löf type theory
• 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 of reflection
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• Functional interpretation of Aczel's constructive set theory
• An ordinal analysis of stability
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Cut-elimination for \(\omega_{1}\)
• Pure \(\Sigma_2\)-elementarity beyond the core
• \(\Pi_1^1\)-comprehension as a well-ordering principle
• Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM
• Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
• Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory
• From subsystems of analysis to subsystems of set theory
• On Relating Theories: Proof-Theoretical Reduction
• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• scientific article; zbMATH DE number 2152230 (Why is no real title available?)
• Cut-Elimination for SBL
• An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe
• A Glimpse of $$ \sum_{3} $$-elementarity
• Zur Beweistheorie Von KPM
• Simplified Cut Elimination for Kripke-Platek Set Theory
• On the Performance of Axiom Systems
• Iterated inductive definitions revisited
• Proof theory of constructive systems: inductive types and univalence
• A simplified ordinal analysis of first-order reflection
• Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions

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 Q3138829)