On Partially Conservative Sentences and Interpretability

DOI10.2307/2045318zbMath0577.03028OpenAlexW4235869437MaRDI QIDQ3698795

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)

Related Items (9)

On Guaspari's problem about partially conservative sentences ⋮ A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH ⋮ Lindenbaum Algebras and Partial Conservativity ⋮ Effectively inseparable Boolean algebras in lattices of sentences ⋮ Extension and interpretability ⋮ Henkin sentences and local reflection principles for Rosser provability ⋮ The formalization of interpretability ⋮ On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability ⋮ R.e. Prime powers and total rigidity

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