@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://www.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://www.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://www.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), Tome 14 (1977) no. 2, pp. 29-39. http://www.numdam.org/item/PDML_1977__14_2_29_0/
(1) Recursive Equivalence types. University of California, Publications in Mathematics, n.s., 3, 1960, p. 76-213. | MR | Zbl
et ,(2) 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) Quelques remarques sur le théorème de Karp-Myhill, Comptes rendus de l'Académie des Sciences, 1976. 282. | MR
,(4) Theory of Recursive functions and effective computability, Mc Graw-Hill Book Company, 1967. | MR | Zbl
,(5) Models and ultra products, North Holland Publishing Company p. 47-48, 1969. | MR | Zbl
et ,