Partially Conservative Extensions of Arithmetic

DOI10.2307/1998258zbMATH Open0417.03030OpenAlexW4245664529MaRDI QIDQ3206949FDOQ3206949

Authors David Guaspari

Publication date 1979

Full work available at URL https://doi.org/10.2307/1998258

zbMATH Keywords

interpretabilitymodel-theoretic characterizationconservative extensionsrecursively enumerable extension of Peano arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of other mathematical theories (03C65)

Cites work

• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3365265 (Why is no real title available?)
• scientific article; zbMATH DE number 3395897 (Why is no real title available?)
• Arithmetization of metamathematics in a general setting
• Gödel's diagonalization technique and related properties of theories
• On interpretability in theories containing arithmetic
• On weak completeness of intuitionistic predicate logic
• Solution of a problem of Leon Henkin

Cited in

(21)

• The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
• On Guaspari's problem about partially conservative sentences
• The formalization of interpretability
• The logic of linear tolerance
• Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
• The logic of \(\Pi_ 1\)-conservativity
• Current research on Gödel's incompleteness theorems
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• A generalized notion of weak interpretability and the corresponding modal logic
• On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability
• The provability logic for \(\Sigma_ 1\)-interpolability
• Some observations on the FGH theorem
• On partial disjunction properties of theories containing Peano arithmetic
• Fixed point algebras
• A course on bimodal provability logic
• Duality, non-standard elements, and dynamic properties of r.e. sets
• Marginalia on a theorem of Woodin
• DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC
• Lindenbaum Algebras and Partial Conservativity
• Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}
• Interpretability suprema in Peano arithmetic

This page was built for publication: Partially Conservative Extensions of Arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3206949)