Le théorème de Karp-Myhill comme corollaire du théorème des mariages Divers aspects de la « non-généralisation » du théorème de Karp-Myhill
Dujols, René
Publications du Département de mathématiques (Lyon), Tome 14 (1977), p. 29-39 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1977-01-01
@article{PDML_1977__14_2_29_0,
     author = {Dujols, Ren\'e},
     title = {Le th\'eor\`eme de Karp-Myhill comme corollaire du th\'eor\`eme des mariages Divers aspects de la \guillemotleft{} non-g\'en\'eralisation \guillemotright{} du th\'eor\`eme de Karp-Myhill},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     volume = {14},
     year = {1977},
     pages = {29-39},
     mrnumber = {538171},
     zbl = {0399.03037},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/PDML_1977__14_2_29_0}
}

Dujols, René. Le théorème de Karp-Myhill comme corollaire du théorème des mariages Divers aspects de la « non-généralisation » du théorème de Karp-Myhill. Publications du Département de mathématiques (Lyon), Tome 14 (1977) pp. 29-39. http://gdmltest.u-ga.fr/item/PDML_1977__14_2_29_0/

(1) J.C.E. Dekker et J. Myhill, Recursive Equivalence types. University of California, Publications in Mathematics, n.s., 3, 1960, p. 76-213. | MR 117155 | Zbl 0249.02021

(2) R. Dujols, Le résultat de Karp-Myhill est en un sens le meilleur possible, Contribution libre au Séminaire international et Congrès international de Logique. Clermont-Ferrand 1975. N° 60 F.13 aux Annales Scientifiques de l'Université de Clermond-Ferrand. 1976. | Numdam | Zbl 0359.02040

(3) R. Dujols, Quelques remarques sur le théorème de Karp-Myhill, Comptes rendus de l'Académie des Sciences, 1976. 282. | MR 414336

(4) H. Rogers, Jr., Theory of Recursive functions and effective computability, Mc Graw-Hill Book Company, 1967. | MR 224462 | Zbl 0183.01401

(5) J.L. Bell et A.B. Slomson, Models and ultra products, North Holland Publishing Company p. 47-48, 1969. | MR 269486 | Zbl 0179.31402