Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Construction du système Σ^n dont la classe des types est K: 0,1,...,n+1. Le modèle de Σ^n consiste en une famille d'ensembles {D_k}× (D_∞=(T,F); D_1=(0,1,2,...); D_λ=ensemble des applications de D_γ). Pour 2 < k < k', α désigne le plus grand entier contenu. Des systèmes M sont construits, formant des généralisations successives du système à types finis Σ^n.
