The rule of induction in the three variable arithmetic based on and
Annales scientifiques de l'Université de Clermont. Mathématiques (1967)
- Volume: 35, Issue: 4, page 25-31
- ISSN: 0249-7042
Access Full Article
top
How to cite
topShepherdson, J. C.. "The rule of induction in the three variable arithmetic based on $+$ and $-$." Annales scientifiques de l'Université de Clermont. Mathématiques 35.4 (1967): 25-31. <http://eudml.org/doc/80381>.
@article{Shepherdson1967,
author = {Shepherdson, J. C.},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
language = {eng},
number = {4},
pages = {25-31},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {The rule of induction in the three variable arithmetic based on $+$ and $-$},
url = {http://eudml.org/doc/80381},
volume = {35},
year = {1967},
}
TY - JOUR
AU - Shepherdson, J. C.
TI - The rule of induction in the three variable arithmetic based on $+$ and $-$
JO - Annales scientifiques de l'Université de Clermont. Mathématiques
PY - 1967
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
VL - 35
IS - 4
SP - 25
EP - 31
LA - eng
UR - http://eudml.org/doc/80381
ER -
References
top- Kreisel G. [1 ] - Application of mathematical logic to various branches of mathematics, Colloque de Logique Mathematique, Paris (1954), pp. 37-49. Zbl0057.24502MR67825
- Shepherdson J.C. [1] - A non standard model for a free variable fragment of number theoryBull. Acad. Polon. Sci. Ser Math. Astronom. Phys.12 (1964) pp. 79-86. Zbl0132.24701MR161798
- Shepherdson J.C. [2] - Non Standard models for fragments of number theory, Proc. Int. sympodium on Model Theory, Berkeley1963. Zbl0154.26202
- Shoenfield J.R. [1] - Open sentences and the induction axiom, JSL, 23 (1958) pp. 7 -12. Zbl0085.24505MR99285
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.