m

F Nous contacter

0

Documents  Sacks, Gerald E. | enregistrements trouvés : 4

O
     

-A +A

P Q

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 [+]

Z