On Guaspari's problem about partially conservative sentences

DOI10.1016/J.APAL.2022.103087OpenAlexW4226439024MaRDI QIDQ2120971FDOQ2120971

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

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

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)

Cites Work

• Title not available (Why is that?)
• On weak completeness of intuitionistic predicate logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rosser sentences
• Partially Conservative Extensions of Arithmetic
• On Partially Conservative Sentences and Interpretability
• Calculating self-referential statements
• Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
• A generalization of the incompleteness theorem
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

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

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)