DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC

DOI10.1017/S1755020322000363MaRDI QIDQ6131230zbMATH OpenOpenAlexFDO

Authors Taishi Kurahashi, M. Okuda

Publication date 4 April 2024

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2110.02576

zbMATH Keywords

disjunction propertyexistence propertymodal arithmetic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Abstract: We systematically study several versions of the disjunction and the existence properties in modal arithmetic. First, we newly introduce three classes $mathrmB$, $Delta(mathrmB)$, and $Sigma(mathrmB)$ of formulas of modal arithmetic, and study basic properties of them. Then, we prove several implications between the properties. In particular, among other things, we prove that for any consistent recursively enumerable extension $T$ of $mathbfPA(mathbfK)$ with $$, the $Sigma(mathrmB)$-disjunction property, the $Sigma(mathrmB)$-existence property, and the $mathrmB$-existence property are pairwise equivalent. Moreover, we introduce the notion of the $Sigma(mathrmB)$-soundness of theories, and prove that for any consistent recursively enumerable extension of $mathbfPA(mathbfK4)$, the modal disjunction property is equivalent to the $Sigma(mathrmB)$-soundness.

Cites work

• scientific article; zbMATH DE number 3891353 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 4197953 (Why is no real title available?)
• A concise introduction to mathematical logic
• A note on derivability conditions
• Absolute Versions of Incompleteness Theorems
• Epistemic and intuitionistic formal systems
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• On partial disjunction properties of theories containing Peano arithmetic
• On the interpretation of intuitionistic number theory
• Partially Conservative Extensions of Arithmetic
• Provability interpretations of modal logic
• Some embedding theorems for modal logic
• Some problem in elementary arithmetics
• The disjunction property implies the numerical existence property
• The equivalence of the disjunction and existence properties for modal arithmetic
• Two Proof-Theoretic Remarks on EA + ECT

This page was built for publication: DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC

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