Partially Conservative Extensions of Arithmetic

DOI10.2307/1998258MaRDI QIDQ3206949zbMATH OpenOpenAlexFDO

Authors David Guaspari

Publication date 1979

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

zbMATH Keywords

conservative extensionsinterpretabilitymodel-theoretic characterizationrecursively enumerable extension of Peano arithmetic

Mathematics Subject Classification ID

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

Cites work

• Arithmetization of metamathematics in a general setting
• Gödel's diagonalization technique and related properties of theories
• 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?)
• On interpretability in theories containing arithmetic
• On weak completeness of intuitionistic predicate logic
• Solution of a problem of Leon Henkin

Cited in

(23)

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

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)