Geodesic
On interpretability in theories containing arithmetic. II.
Commentationes Mathematicae Universitatis Carolinae, Tome 22 (1981) no. 4, pp. 667-688

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Classification : 03B45, 03F25, 03F30, 03F35 
@article{CMUC_1981__22_4_a3,
     author = {H\'ajek, Petr},
     title = {On interpretability in theories containing arithmetic. {II.}},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {667--688},
     publisher = {mathdoc},
     volume = {22},
     number = {4},
     year = {1981},
     mrnumber = {647016},
     zbl = {0487.03032},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1981__22_4_a3/}
}
TY  - JOUR
AU  - Hájek, Petr
TI  - On interpretability in theories containing arithmetic. II.
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1981
SP  - 667
EP  - 688
VL  - 22
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1981__22_4_a3/
LA  - en
ID  - CMUC_1981__22_4_a3
ER  - 
%0 Journal Article
%A Hájek, Petr
%T On interpretability in theories containing arithmetic. II.
%J Commentationes Mathematicae Universitatis Carolinae
%D 1981
%P 667-688
%V 22
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1981__22_4_a3/
%G en
%F CMUC_1981__22_4_a3
Hájek, Petr. On interpretability in theories containing arithmetic. II.. Commentationes Mathematicae Universitatis Carolinae, Tome 22 (1981) no. 4, pp. 667-688. http://geodesic.mathdoc.fr/item/CMUC_1981__22_4_a3/