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), Volume 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},
     mrnumber = {538171},
     zbl = {0399.03037},
     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
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/
LA  - fr
ID  - PDML_1977__14_2_29_0
ER  - 
%0 Journal Article
%A Dujols, René
%T 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
%J Publications du Département de mathématiques (Lyon)
%D 1977
%P 29-39
%V 14
%N 2
%I Université Claude Bernard - Lyon 1
%U http://archive.numdam.org/item/PDML_1977__14_2_29_0/
%G fr
%F 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), Volume 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 | Zbl

(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

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

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

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