scientific article; zbMATH DE number 440479

MaRDI QIDQ3140636zbMATH OpenFDO

Authors Petr Hájek

Publication date 5 December 1993

zbMATH Keywords

fragments of Peano arithmeticfragments of second- order arithmeticinterpretability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Interpretability of various extensions of arithmetic
• Interpretability over peano arithmetic
• scientific article; zbMATH DE number 3900723
• Characterizations of interpretability in bounded arithmetic
• scientific article; zbMATH DE number 3957097
• Structures interpretable in models of bounded arithmetic
• Fragments of arithmetic
• scientific article; zbMATH DE number 3972855
• scientific article; zbMATH DE number 963569
• The interpretability logic of Peano arithmetic

Cited in

(33)

• Interpretability of various extensions of arithmetic
• On some formalized conservation results in arithmetic
• The proof-theoretic strength of Ramsey's theorem for pairs and two colors
• Saturated models of universal theories
• End extensions of models of fragments of \(\mathrm{PA}\)
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• Formalizing forcing arguments in subsystems of second-order arithmetic
• Fragments of arithmetic and pairing functions
• Interpreting weak König's lemma using the arithmetized completeness theorem
• A multi-sorted version of second order arithmetic
• On notions of computability-theoretic reduction between Π21 principles
• The metamathematics of Stable Ramsey’s Theorem for Pairs
• On the strength of the interpretation method
• The atomic model theorem and type omitting
• scientific article; zbMATH DE number 3900723 (Why is no real title available?)
• scientific article; zbMATH DE number 3972855 (Why is no real title available?)
• Subsets coded in elementary end extensions
• scientific article; zbMATH DE number 1512848 (Why is no real title available?)
• The strength of Ramsey's theorem for pairs and arbitrarily many colors
• Current research on Gödel's incompleteness theorems
• Finding the limit of incompleteness. I
• Characterizations of interpretability in bounded arithmetic
• A complexity analysis of functional interpretations
• Marginalia on a theorem of Woodin
• ^0_4 conservation of Ramsey's theorem for pairs
• Conservation of Ramsey's theorem for pairs and well-foundedness
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• An isomorphism theorem for models of weak König's lemma without primitive recursion
• Fragments of arithmetic

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 Q3140636)