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) no. 2, pp. 29-39.
@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)},
     pages = {29--39},
     publisher = {Universit\'e Claude Bernard - Lyon 1},
     volume = {14},
     number = {2},
     year = {1977},
     zbl = {0399.03037},
     mrnumber = {538171},
     language = {fr},
     url = {http://archive.numdam.org/item/PDML_1977__14_2_29_0/}
}
TY  - JOUR
AU  - Dujols, René
TI  - 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
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1977
DA  - 1977///
SP  - 29
EP  - 39
VL  - 14
IS  - 2
PB  - Université Claude Bernard - Lyon 1
UR  - http://archive.numdam.org/item/PDML_1977__14_2_29_0/
UR  - https://zbmath.org/?q=an%3A0399.03037
UR  - https://www.ams.org/mathscinet-getitem?mr=538171
LA  - fr
ID  - PDML_1977__14_2_29_0
ER  - 
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) no. 2, pp. 29-39. http://archive.numdam.org/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