scientific article; zbMATH DE number 5057388
From MaRDI portal
Publication:5489367
zbMATH Open1101.03035MaRDI QIDQ5489367FDOQ5489367
Publication date: 26 September 2006
Title of this publication is not available (Why is that?)
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 (22)
- 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
- Hyperarithmetical worm battles
- Dynamic ordinal analysis
- 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
Recommendations
- Title not available (Why is that?) 👍 👎
- Theories and Ordinals: Ordinal Analysis 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Characterizations of ordinal analysis 👍 👎
- ORDANOVA: analysis of ordinal variation 👍 👎
- Ordinal analysis by transformations 👍 👎
- REFLECTION RANKS AND ORDINAL ANALYSIS 👍 👎
- Analysis of ordinal categorical data. 👍 👎
- Title not available (Why is that?) 👍 👎
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)
