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.
    Download  
     
    Export citation  
     
    Bookmark   7 citations