Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 344 p.
ISBN 978-3-540-19305-0
Perpectives in mathematical logic
Localisation : Ouvrage RdC (SACK)
ensemble admissible # ensemble ordonné # fondement de la logique # logique # recursivité # théorie de la récursion
03D55 ; 03D60 ; 03D65 ; 03E15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 335 p.
ISBN 978-0-805-38380-5
Mathematics lecture note series
Localisation : Ouvrage RdC (SACK)
langage # modèle saturé # théorie des corps # théorie des modèles
03C68 ; 03Cxx ; 03-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 175 p.
Annals of mathematics studies , 0055
Localisation : Ouvrage RdC (SACK)
borne supérieure minimale pour suite de degrés # catégorie # continuum de degrés mutuellement incomparables # degré d'insolvabilité # degrés énumérables récursivement # opérateur saut # segment initial de degrés # sous-ordonnancement indénombrable de degrés # théorie de la mesure # théorie descriptive des ensembles
03D15 ; 03D25 ; 03E15 ; 68Q15 ; 68Q25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 335 p.
ISBN 978-0-805-38381-2
Mathematics lecture note series
Localisation : Ouvrage RdC (SACK)
logique # théorie des modèles # théorème de Vaught # théorème de Chang # théorème de Keisler # dérivée de Cantor-Bendixson # dérivée de Morley # théorème de Shelah # théorème de Baldwin-Lachlan
03Cxx ; 03-02
... Lire [+]
