On partial disjunction properties of theories containing Peano arithmetic

DOI10.1007/S00153-018-0618-3zbMath1446.03102OpenAlexW2786661286MaRDI QIDQ1756504

Taishi Kurahashi

Publication date: 14 January 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-018-0618-3

zbMATH Keywords

formal arithmeticGödel's incompleteness theoremspartial disjunction propertiespartial existence properties

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items (2)

DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Henkin sentences and local reflection principles for Rosser provability
• Self-reference and modal logic
• Partially generic formulas in arithmetic
• A note of provability, truth and existence
• Algebraic properties of number theories
• Untersuchungen über das logische Schliessen. I
• A comment on the joint embedding property
• Partially Conservative Extensions of Arithmetic
• The classical and the ω-complete arithmetic
• Arithmetization of metamathematics in a general setting
• Experimental logics and Π₃⁰ theories
• Calculating self-referential statements
• The disjunction property implies the numerical existence property
• Some problem in elementary arithmetics
• GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑_n-DEFINABLE THEORIES OF ARITHMETIC
• A Note on Indicator-Functions
• Models of axiomatic systems
• On the interpretation of intuitionistic number theory

This page was built for publication: On partial disjunction properties of theories containing Peano arithmetic