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

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

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

(13)

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

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)