Deduction-preserving “recursive isomorphisms” between theories
Pour-El, Marian Boykan ; Kripke, Saul
Bull. Amer. Math. Soc., Tome 73 (1967) no. 6, p. 145-148 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1967-01-15
Classification:  
@article{1183528639,
     author = {Pour-El, Marian Boykan and Kripke, Saul},
     title = {Deduction-preserving ``recursive isomorphisms'' between theories},
     journal = {Bull. Amer. Math. Soc.},
     volume = {73},
     number = {6},
     year = {1967},
     pages = { 145-148},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183528639}
}

Pour-El, Marian Boykan; Kripke, Saul. Deduction-preserving “recursive isomorphisms” between theories. Bull. Amer. Math. Soc., Tome 73 (1967) no. 6, pp.  145-148. http://gdmltest.u-ga.fr/item/1183528639/