scientific article; zbMATH DE number 5057388
From MaRDI portal
Publication:5489367
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)
Recommendations
- scientific article; zbMATH DE number 1390277
- Theories and Ordinals: Ordinal Analysis
- Publication:5753427
- scientific article; zbMATH DE number 432700
- Characterizations of ordinal analysis
- ORDANOVA: analysis of ordinal variation
- Ordinal analysis by transformations
- Reflection ranks and ordinal analysis
- Analysis of ordinal categorical data.
- scientific article; zbMATH DE number 4036998
Cited in
(29)- Reflecting and unfolding
- scientific article; zbMATH DE number 1390268 (Why is no real title available?)
- On the uncountability of \(\mathbb{R}\)
- Investigations of subsystems of second order arithmetic and set theory in strength between \(\Pi^1_1\)-CA and \(\Delta^1_2\)-\(\text{CA}+\text{BI}\). I
- Ordinal analysis by transformations
- The strength of compactness in computability theory and nonstandard analysis
- A note on Gentzen's ordinal assignment
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
- Theories and Ordinals: Ordinal Analysis
- Countable sets versus sets that are countable in reverse mathematics
- Theories and ordinals in proof theory
- Size-based termination of higher-order rewriting
- On Relating Theories: Proof-Theoretical Reduction
- Proofs, Programs and Abstract Complexity
- A note on the ordinal analysis of \(\mathrm{RCA}_0+\mathrm{WO}(\mathbf{\sigma})\)
- scientific article; zbMATH DE number 475609 (Why is no real title available?)
- Hyperarithmetical worm battles
- Representations and the foundations of mathematics
- Dynamic ordinal analysis
- A Glimpse of $$ \sum_{3} $$-elementarity
- scientific article; zbMATH DE number 7379291 (Why is no real title available?)
- scientific article; zbMATH DE number 1390277 (Why is no real title available?)
- The good, the bad and the ugly: ordinal and symbolic whisky analysis
- scientific article; zbMATH DE number 432700 (Why is no real title available?)
- The Art of Measuring the Strength of Theories
- \(\Pi_1^0\)-ordinal analysis beyond first-order arithmetic
- The logical strength of minimal bad arrays
- Mathematical proof theory in the light of ordinal analysis
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 Q5489367)
