Switch to: Citations

Add references

You must login to add references.
  1. A Non-Standard Model for a Free Variable Fragment of Number Theory.J. C. Shepherdson - 1965 - Journal of Symbolic Logic 30 (3):389-390.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Foundation versus Induction in Kripke-Platek Set Theory.Domenico Zambella - 1998 - Journal of Symbolic Logic 63 (4):1399-1403.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)A recursive nonstandard model of normal open induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
    Models of normal open induction are those normal discretely ordered rings whose nonnegative part satisfy Peano's axioms for open formulas in the language of ordered semirings. (Where normal means integrally closed in its fraction field.) In 1964 Shepherdson gave a recursive nonstandard model of open induction. His model is not normal and does not have any infinite prime elements. In this paper we present a recursive nonstandard model of normal open induction with an unbounded set of infinite prime elements.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Bounded existential induction.George Wilmers - 1985 - Journal of Symbolic Logic 50 (1):72-90.
    Download  
     
    Export citation  
     
    Bookmark   18 citations