Switch to: Citations

Add references

You must login to add references.
  1. The joint embedding property in normal open induction.Margarita Otero - 1993 - Annals of Pure and Applied Logic 60 (3):275-290.
    The models of normal open induction are those discretely ordered rings, integrally closed in their fraction field whose nonnegative part satisfy Peano's induction axioms for open formulas in the language of ordered semirings.It is known that neither open induction nor the usually studied stronger fragments of arithmetic , have the joint embedding property.We prove that normal models of open induction have the joint embedding property.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Primes and their residue rings in models of open induction.Angus Macintyre & David Marker - 1989 - Annals of Pure and Applied Logic 43 (1):57-77.
    Download  
     
    Export citation  
     
    Bookmark   11 citations