DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC

DOI10.1017/S1755020322000363arXiv2110.02576OpenAlexW4312156479MaRDI QIDQ6131230FDOQ6131230

Authors: Taishi Kurahashi, M. Okuda 

Publication date: 4 April 2024

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• On the interpretation of intuitionistic number theory
• Provability interpretations of modal logic
• Title not available (Why is that?)
• Epistemic and intuitionistic formal systems
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• Absolute Versions of Incompleteness Theorems
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• A concise introduction to mathematical logic
• Partially Conservative Extensions of Arithmetic
• The disjunction property implies the numerical existence property
• Some embedding theorems for modal logic
• Some problem in elementary arithmetics
• On partial disjunction properties of theories containing Peano arithmetic
• The equivalence of the disjunction and existence properties for modal arithmetic
• Title not available (Why is that?)
• A NOTE ON DERIVABILITY CONDITIONS
• 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)