Algèbres de Krasner-Tate et générateurs universels
نویسندگان
چکیده
منابع مشابه
SCINDEMENT D ’ ASSOCIATIVITÉ ET ALGÈBRES DE HOPF par
compatible avec l’unité, alors A est libre comme algèbre associative et commutative (c’est-à-dire est une algèbre symétrique). Ce résultat peut s’étendre à d’autres types d’algèbres à condition de remplacer le produit tensoriel par la somme (colimite) dans cette catégorie d’algèbres (cf. Fresse [Fr] et Oudom [O]). Le but de ce papier est, en un certain sens, de renverser la situation et de mont...
متن کاملCodes générateurs minimaux de langages de mots bi-infinis
In this paper we give two families of codes which are minimal generators of biinfmite langüages: the family of very thin codes (which contains the rational codes) and another family containing the circular codes. We propose the conjecture that ail codes are minimal generators. Résumé. Dans cet article, nous exhibons deux familles de codes qui sont générateurs minimaux du langage de mots bi-infi...
متن کاملAlgèbres de réalisabilité: un programme pour bien ordonner R
Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...
متن کاملApproche évolutionniste de la recherche d'automates cellulaires universels
RÉSUMÉ. Le fameux problème de la fréquence des automates cellulaires universels est liée à l’émergence de la calculabilité dans les systèmes complexes avec des interactions locales. Il a été posé une première fois par Wolfram : « How commun are computational universality and undecidability in cellular automata ». Ce papier décrit des algorithmes évolutionnaires donnant des éléments de réponse à...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mémoires de la Société mathématique de France
سال: 1974
ISSN: 0249-633X,2275-3230
DOI: 10.24033/msmf.129