On partial disjunction properties of theories containing Peano arithmetic

Archive for Mathematical Logic 57 (7-8):953-980 (2018)
  Copy   BIBTEX


Let \ be a class of formulas. We say that a theory T in classical logic has the \-disjunction property if for any \ sentences \ and \, either \ or \ whenever \. First, we characterize the \-disjunction property in terms of the notion of partial conservativity. Secondly, we prove a model theoretic characterization result for \-disjunction property. Thirdly, we investigate relationships between partial disjunction properties and several other properties of theories containing Peano arithmetic. Finally, we investigate unprovability of formalized partial disjunction properties.



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

23 (#705,674)

6 months
10 (#308,815)

Historical graph of downloads
How can I increase my downloads?

References found in this work

The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.
On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.

View all 11 references / Add more references