On Partially Conservative Sentences and Interpretability

DOI10.2307/2045318zbMATH Open0577.03028OpenAlexW4235869437MaRDI QIDQ3698795FDOQ3698795

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

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

Mathematics Subject Classification ID

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

Cited In (13)

• On maximum conservative extensions
• On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability
• Lindenbaum Algebras and Partial Conservativity
• On Guaspari's problem about partially conservative sentences
• The formalization of interpretability
• Dense chains of ${\Sigma}_n$ sentences with strong conservativity properties
• Extension and interpretability
• Title not available (Why is that?)
• 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)