On Guaspari's problem about partially conservative sentences
From MaRDI portal
Publication:2120971
DOI10.1016/j.apal.2022.103087OpenAlexW4226439024MaRDI QIDQ2120971
Albert Visser, Yuya Okawa, V. Yu. Shavrukov, Taishi Kurahashi
Publication date: 1 April 2022
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1909.02761
First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03) Gödel numberings and issues of incompleteness (03F40) Proof theory and constructive mathematics (03F99)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Partially Conservative Extensions of Arithmetic
- A generalization of the incompleteness theorem
- On Partially Conservative Sentences and Interpretability
- Rosser sentences
- Calculating self-referential statements
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
- On weak completeness of intuitionistic predicate logic
