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) (1977)
- Volume: 14, Issue: 2, page 29-39
- ISSN: 0076-1656
Access Full Article
top
How to cite
topDujols, 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) 14.2 (1977): 29-39. <http://eudml.org/doc/273529>.
@article{Dujols1977,
author = {Dujols, René},
journal = {Publications du Département de mathématiques (Lyon)},
keywords = {Marriage Theorem; Recursion Theory; Karp-Myhill Theorem},
language = {fre},
number = {2},
pages = {29-39},
publisher = {Université Claude Bernard - Lyon 1},
title = {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},
url = {http://eudml.org/doc/273529},
volume = {14},
year = {1977},
}
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
PB - Université Claude Bernard - Lyon 1
VL - 14
IS - 2
SP - 29
EP - 39
LA - fre
KW - Marriage Theorem; Recursion Theory; Karp-Myhill Theorem
UR - http://eudml.org/doc/273529
ER -
References
top- (1) J.C.E. Dekker et J. Myhill, Recursive Equivalence types. University of California, Publications in Mathematics, n.s., 3, 1960, p. 76-213. Zbl0249.02021MR117155
- (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.13aux Annales Scientifiques de l'Université de Clermond-Ferrand. 1976. Zbl0359.02040
- (3) R. Dujols, Quelques remarques sur le théorème de Karp-Myhill, Comptes rendus de l'Académie des Sciences, 1976. 282. MR414336
- (4) H. Rogers, Jr., Theory of Recursive functions and effective computability, Mc Graw-Hill Book Company, 1967. Zbl0183.01401MR224462
- (5) J.L. Bell et A.B. Slomson, Models and ultra products, North Holland Publishing Company p. 47-48, 1969. Zbl0179.31402MR269486
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.