scientific article; zbMATH DE number 1215496
From MaRDI portal
Publication:4215633
zbMath0940.03066MaRDI QIDQ4215633
Publication date: 13 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyproof theoryPeano arithmeticordinal analysissecond-order arithmeticpartial modelsiterated inductive definitionsKripke-Platek set theory oscillatorsoperator controlled derivations
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)
Related Items (28)
Provability algebras and proof-theoretic ordinals. I ⋮ On the Performance of Axiom Systems ⋮ Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM ⋮ Well ordering principles for iterated \(\Pi^1_1\)-comprehension ⋮ Proof theory for theories of ordinals. I: Recursively Mahlo ordinals ⋮ AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS ⋮ Characterizations of ordinal analysis ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ Admissible closures of polynomial time computable arithmetic ⋮ A few more dissimilarities between second-order arithmetic and set theory ⋮ Classes and truths in set theory ⋮ The Proof Theory of Common Knowledge ⋮ Proof Theoretic Analysis by Iterated Reflection ⋮ Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory ⋮ The Operational Perspective: Three Routes ⋮ Parameter-free polymorphic types ⋮ Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions ⋮ Degrees of relative provability ⋮ Ekeland's variational principle in weak and strong systems of arithmetic ⋮ Syntactic cut-elimination for a fragment of the modal mu-calculus ⋮ Deduction chains for common knowledge ⋮ Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory ⋮ Pure \(\Sigma_2\)-elementarity beyond the core ⋮ Ordinal analysis by transformations ⋮ Syntactic cut-elimination for common knowledge ⋮ Syntactic Cut-elimination for Common Knowledge ⋮ Ideas in the epsilon substitution method for \(\Pi_{1}^{0}\)-FIX ⋮ A Glimpse of $$ \sum_{3} $$-elementarity
This page was built for publication:
