Publisher
Cambridge University Press (CUP)
Reference7 articles.
1. Some Results and Problems on Weak Systems of Arithmetic
2. A non-standard model for a free variable fragment of number theory;Shepherdson;Bulletin de l'cademie Polonaise des Sciences,1964
3. L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable
4. Khelif A. , communication personnelle, 11 1996.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bootstrapping, part I;Annals of Pure and Applied Logic;2010-01
2. Arithmetization of the field of reals with exponentiation extended abstract;RAIRO - Theoretical Informatics and Applications;2008-01