scientific article
From MaRDI portal
Publication:3069633
zbMath1205.03002MaRDI QIDQ3069633
Publication date: 18 January 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ATRACARCAreverse mathematicsweak König's lemmaWKLbeta modelarithmetical transfinite recursionHilbert's programarithmetical comprehensionrecursive comprehensionomega model\(\Pi^1_1\) comprehension
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35)
Related Items (12)
Metamathematical properties of a constructive multi-typed theory ⋮ Changing a Semantics: Opportunism or Courage? ⋮ Program Size Complexity of Correction Grammars in the Ershov Hierarchy ⋮ Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension ⋮ Direct construction of Scott ideals ⋮ What is worthy of investigation? Philosophical attitudes and their impact on mathematical development by the example of discovering 10-adic numbers ⋮ Primitive recursion and the chain antichain principle ⋮ THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES ⋮ REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION ⋮ Grothendieck’s Unifying Vision of Geometry ⋮ Computation and Indispensability ⋮ A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection
This page was built for publication: