scientific article; zbMATH DE number 5057388
From MaRDI portal
Publication:5489367
zbMATH Open1101.03035MaRDI QIDQ5489367FDOQ5489367
Authors: Michael Rathjen
Publication date: 26 September 2006
Title of this publication is not available (Why is that?)
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
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)
Cited In (25)
- A Glimpse of $$ \sum_{3} $$-elementarity
- The good, the bad and the ugly: ordinal and symbolic whisky analysis
- Representations and the foundations of mathematics
- Title not available (Why is that?)
- Title not available (Why is that?)
- The strength of compactness in computability theory and nonstandard analysis
- Title not available (Why is that?)
- Theories and Ordinals: Ordinal Analysis
- Size-based termination of higher-order rewriting
- Title not available (Why is that?)
- Ordinal analysis by transformations
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
- Theories and ordinals in proof theory
- Hyperarithmetical worm battles
- 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
- Dynamic ordinal analysis
- Proofs, Programs and Abstract Complexity
- ON THE UNCOUNTABILITY OF
- The logical strength of minimal bad arrays
- On Relating Theories: Proof-Theoretical Reduction
- Title not available (Why is that?)
- Countable sets versus sets that are countable in reverse mathematics
- Mathematical proof theory in the light of ordinal analysis
- Reflecting and unfolding
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)