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) Recursive ordinals and ordinal notations (03F15) Second- and higher-order arithmetic and fragments (03F35)
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
(35)- Ordinal analysis by transformations
- Dynamic ordinal analysis
- A note on Gentzen's ordinal assignment
- Mathematical proof theory in the light of ordinal analysis
- Reflecting and unfolding
- Representations and the foundations of mathematics
- Hyperarithmetical worm battles
- A note on the ordinal analysis of \(\mathrm{RCA}_0+\mathrm{WO}(\mathbf{\sigma})\)
- The strength of compactness in computability theory and nonstandard analysis
- Theories and ordinals in proof theory
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
- The good, the bad and the ugly: ordinal and symbolic whisky analysis
- \(\Pi_1^0\)-ordinal analysis beyond first-order arithmetic
- 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
- scientific article; zbMATH DE number 432700 (Why is no real title available?)
- On Relating Theories: Proof-Theoretical Reduction
- Proofs, Programs and Abstract Complexity
- scientific article; zbMATH DE number 1215496 (Why is no real title available?)
- scientific article; zbMATH DE number 475609 (Why is no real title available?)
- Size-based termination of higher-order rewriting
- Recent Advances in Ordinal Analysis: Π12— CA and Related Systems
- scientific article; zbMATH DE number 1390268 (Why is no real title available?)
- scientific article; zbMATH DE number 1390277 (Why is no real title available?)
- scientific article; zbMATH DE number 7379291 (Why is no real title available?)
- A Glimpse of $$ \sum_{3} $$-elementarity
- Countable sets versus sets that are countable in reverse mathematics
- Two First-Order Theories of Ordinals
- On the uncountability of \(\mathbb{R}\)
- On the Performance of Axiom Systems
- Theories and Ordinals: Ordinal Analysis
- The Art of Measuring the Strength of Theories
- The logical strength of minimal bad arrays
- On the computational properties of weak continuity notions
- Automatic structures and the problem of natural well-orderings
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
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)
