scientific article; zbMATH DE number 1390277

zbMath0946.03069MaRDI QIDQ4934564

Michael Rathjen

Publication date: 25 October 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Kripke-Platek set theoryordinal analysiscombinatorial principlescollapsing functiongraph minor theoremprovably recursive functionsramified set theoryhistory of proof theorysurvey lectureHercules-hydra gameoperator-controlled derivations

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15)

Related Items (28)

Provability algebras and proof-theoretic ordinals. I ⋮ On elementary theories of ordinal notation systems based on reflection principles ⋮ A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC ⋮ Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ Program Size Complexity of Correction Grammars in the Ershov Hierarchy ⋮ Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM ⋮ A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ A decidable theory of type assignment ⋮ Relativized ordinal analysis: the case of power Kripke-Platek set theory ⋮ Locally hyperarithmetical induction ⋮ Characterizations of ordinal analysis ⋮ Functorial Fast-Growing Hierarchies ⋮ Mining the surface: witnessing the low complexity theorems of arithmetic ⋮ The Π21$\Pi ^1_2$ consequences of a theory ⋮ Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ Theories and ordinals in proof theory ⋮ The strength of extensionality. I: Weak weak set theories with infinity ⋮ Predicativity and Feferman ⋮ Sub-computabilities ⋮ A note on Bar Induction in Constructive Set Theory ⋮ From Kruskal’s theorem to Friedman’s gap condition ⋮ Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory ⋮ Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results ⋮ … and so on: Schütte on Naming Ordinals ⋮ A Glimpse of $$ \sum_{3} $$-elementarity ⋮ A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) ⋮ REFLECTION RANKS AND ORDINAL ANALYSIS

This page was built for publication: