Geodesic
Deduction-preserving "Recursive Isomorphisms" between theories
Fundamenta Mathematicae, Tome 61 (1967) no. 2, pp. 141-163.

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

DOI : 10.4064/fm-61-2-141-163

Marian Pour-El 1 ; Saul Kripke 1

1 
@article{10_4064_fm_61_2_141_163,
     author = {Marian Pour-El and Saul Kripke},
     title = {Deduction-preserving {"Recursive} {Isomorphisms"} between theories},
     journal = {Fundamenta Mathematicae},
     pages = {141--163},
     publisher = {mathdoc},
     volume = {61},
     number = {2},
     year = {1967},
     doi = {10.4064/fm-61-2-141-163},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-61-2-141-163/}
}
TY  - JOUR
AU  - Marian Pour-El
AU  - Saul Kripke
TI  - Deduction-preserving "Recursive Isomorphisms" between theories
JO  - Fundamenta Mathematicae
PY  - 1967
SP  - 141
EP  - 163
VL  - 61
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-61-2-141-163/
DO  - 10.4064/fm-61-2-141-163
LA  - en
ID  - 10_4064_fm_61_2_141_163
ER  - 
%0 Journal Article
%A Marian Pour-El
%A Saul Kripke
%T Deduction-preserving "Recursive Isomorphisms" between theories
%J Fundamenta Mathematicae
%D 1967
%P 141-163
%V 61
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-61-2-141-163/
%R 10.4064/fm-61-2-141-163
%G en
%F 10_4064_fm_61_2_141_163
Marian Pour-El; Saul Kripke. Deduction-preserving "Recursive Isomorphisms" between theories. Fundamenta Mathematicae, Tome 61 (1967) no. 2, pp. 141-163. doi : 10.4064/fm-61-2-141-163. http://geodesic.mathdoc.fr/articles/10.4064/fm-61-2-141-163/

Cité par Sources :