scientific article; zbMATH DE number 5057388
From MaRDI portal
Publication:5489367
zbMath1101.03035MaRDI QIDQ5489367
Publication date: 26 September 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) 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 (11)
Countable sets versus sets that are countable in reverse mathematics ⋮ Representations and the foundations of mathematics ⋮ ON THE UNCOUNTABILITY OF ⋮ Hyperarithmetical worm battles ⋮ Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 ⋮ Size-based termination of higher-order rewriting ⋮ Unnamed Item ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ The strength of compactness in computability theory and nonstandard analysis ⋮ Reflecting and unfolding ⋮ A Glimpse of $$ \sum_{3} $$-elementarity
This page was built for publication:
