On Partially Conservative Sentences and Interpretability
From MaRDI portal
Publication:3698795
DOI10.2307/2045318zbMath0577.03028OpenAlexW4235869437MaRDI QIDQ3698795
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
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