@article{ASCFM_1967__35_4_25_0, author = {Shepherdson, J. C.}, title = {The rule of induction in the three variable arithmetic based on $+$ and $-$}, journal = {Annales de la facult\'e des sciences de l'universit\'e de Clermont. Math\'ematiques}, pages = {25--31}, publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont}, volume = {35}, number = {4}, year = {1967}, mrnumber = {276089}, language = {en}, url = {http://archive.numdam.org/item/ASCFM_1967__35_4_25_0/} }
TY - JOUR AU - Shepherdson, J. C. TI - The rule of induction in the three variable arithmetic based on $+$ and $-$ JO - Annales de la faculté des sciences de l'université de Clermont. Mathématiques PY - 1967 SP - 25 EP - 31 VL - 35 IS - 4 PB - UER de Sciences exactes et naturelles de l'Université de Clermont UR - http://archive.numdam.org/item/ASCFM_1967__35_4_25_0/ LA - en ID - ASCFM_1967__35_4_25_0 ER -
%0 Journal Article %A Shepherdson, J. C. %T The rule of induction in the three variable arithmetic based on $+$ and $-$ %J Annales de la faculté des sciences de l'université de Clermont. Mathématiques %D 1967 %P 25-31 %V 35 %N 4 %I UER de Sciences exactes et naturelles de l'Université de Clermont %U http://archive.numdam.org/item/ASCFM_1967__35_4_25_0/ %G en %F ASCFM_1967__35_4_25_0
Shepherdson, J. C. The rule of induction in the three variable arithmetic based on $+$ and $-$. Annales de la faculté des sciences de l'université de Clermont. Mathématiques, Tome 35 (1967) no. 4, pp. 25-31. http://archive.numdam.org/item/ASCFM_1967__35_4_25_0/
Application of mathematical logic to various branches of mathematics, Colloque de Logique Mathematique, Paris (1954), pp. 37-49. | MR | Zbl
[1 ] -A non standard model for a free variable fragment of number theory Bull. Acad. Polon. Sci. Ser Math. Astronom. Phys. 12 (1964) pp. 79-86. | MR | Zbl
[1] -Non Standard models for fragments of number theory, Proc. Int. sympodium on Model Theory, Berkeley 1963. | Zbl
[2] -Open sentences and the induction axiom, JSL, 23 (1958) pp. 7 -12. | MR | Zbl
[1] -