Switch to: References

Add citations

You must login to add citations.
  1. On partial disjunction properties of theories containing Peano arithmetic.Taishi Kurahashi - 2018 - Archive for Mathematical Logic 57 (7-8):953-980.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations