On Guaspari's problem about partially conservative sentences

DOI10.1016/J.APAL.2022.103087MaRDI QIDQ2120971zbMATH OpenOpenAlexFDO

Authors Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov, Albert Visser

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

zbMATH Keywords

incompleteness theorempartial conservativity

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Proof theory and constructive mathematics (03F99)

Recommendations

• On Partially Conservative Sentences and Interpretability
• A theorem on partial conservativity in arithmetic
• Lindenbaum Algebras and Partial Conservativity
• scientific article; zbMATH DE number 4112583
• scientific article; zbMATH DE number 3941534

Cites work

• scientific article; zbMATH DE number 3659587 (Why is no real title available?)
• scientific article; zbMATH DE number 3708396 (Why is no real title available?)
• scientific article; zbMATH DE number 1032008 (Why is no real title available?)
• scientific article; zbMATH DE number 2014521 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• A generalization of the incompleteness theorem
• Calculating self-referential statements
• Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
• On Partially Conservative Sentences and Interpretability
• On weak completeness of intuitionistic predicate logic
• Partially Conservative Extensions of Arithmetic
• Rosser sentences

Cited in

(2)

• A theorem on partial conservativity in arithmetic
• On Guaspari's problem about partially conservative sentences

This page was built for publication: On Guaspari's problem about partially conservative sentences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2120971)