scientific article
From MaRDI portal
Publication:3140636
zbMath0791.03033MaRDI QIDQ3140636
Publication date: 5 December 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)
Related Items
The proof-theoretic strength of Ramsey's theorem for pairs and two colors, On notions of computability-theoretic reduction between Π21 principles, The metamathematics of Stable Ramsey’s Theorem for Pairs, Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), Subsets coded in elementary end extensions, End extensions of models of fragments of \(\mathrm{PA}\), THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS, MARGINALIA ON A THEOREM OF WOODIN, A complexity analysis of functional interpretations, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, Interpreting Weak König’s Lemma using the Arithmetized Completeness Theorem, The atomic model theorem and type omitting, FINDING THE LIMIT OF INCOMPLETENESS I, Formalizing forcing arguments in subsystems of second-order arithmetic, Saturated models of universal theories
