Switch to: References

Add citations

You must login to add citations.
  1. The∀∃ theory of Peano Σ1 sentences.Per Lindström & V. Yu Shavrukov - 2008 - Journal of Mathematical Logic 8 (2):251-280.
    We present a decision procedure for the ∀∃ theory of the lattice of Σ1 sentences of Peano Arithmetic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations