A Recursive Nonstandard Model of Normal Open Induction
暂无分享,去创建一个
[1] Margarita Otero,et al. The Joint Embedding Property in Normal Open Induction , 1993, Ann. Pure Appl. Log..
[2] Angus Macintyre,et al. Primes and Their Residue Rings in Models of Open Induction , 1989, Ann. Pure Appl. Log..
[3] Margarita Otero. On Diophantine Equations Solvable in Models of Open Induction , 1990, J. Symb. Log..
[4] S. Boughattas. L'induction pour les formules ouvertes n'est pas finiment axiomatisable , 1989 .
[5] Leszek Pacholski,et al. Model theory of algebra and arithmetic , 1980 .
[6] R. J. Walker. Algebraic curves , 1950 .
[7] George M. Wilmers,et al. Bounded Existential Induction , 1985, J. Symb. Log..
[8] Kenneth McAloon. On the Complexity of Models of Arithmetic , 1982, J. Symb. Log..
[9] WHICH CURVES OVER Z HAVE POINTS WITH COORDINATES IN A DISCRETE ORDERED RING , 1981 .
[10] Alex Wilkie. Some Results and Problems on Weak Systems of Arithmetic , 1978 .
[11] Lou van den Dries. Some model theory and number theory for models of weak systems of arithmetic , 1980 .