On Partially Conservative Sentences and Interpretability

DOI10.2307/2045318MaRDI QIDQ3698795zbMATH OpenOpenAlexFDO

Authors Per Lindström

Publication date 1984

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Recommendations

• On maximum conservative extensions
• Lindenbaum Algebras and Partial Conservativity
• A semantic approach to conservativity
• scientific article; zbMATH DE number 4112583
• On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability

Cited in

(14)

• The formalization of interpretability
• On Guaspari's problem about partially conservative sentences
• R.e. Prime powers and total rigidity
• Effectively inseparable Boolean algebras in lattices of sentences
• Extension and interpretability
• scientific article; zbMATH DE number 4112583 (Why is no real title available?)
• Construction of sentences with specific interpretability properties
• Lindenbaum Algebras and Partial Conservativity
• A mathematical commitment without computational strength
• Dense chains of ${\Sigma}_n$ sentences with strong conservativity properties
• On maximum conservative extensions
• On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability
• Mathematical developments of the incompleteness theorems
• Henkin sentences and local reflection principles for Rosser provability

This page was built for publication: On Partially Conservative Sentences and Interpretability

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