m

Documents  03C95 | enregistrements trouvés : 3

O
K L Q M | g | F x r
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Accessible categories :
the foundations of categorical model theory Makkai, Michael ; Paré, Robert | American Mathematical Society 1989

Ouvrage

- 176 p.
ISBN 978-0-8218-5111-1

Contemporary mathematics , 0104

Localisation : Collection 1er étage

catégorie accessible # colimite # foncteur # limite # logique algébrique # logique catégorique # thé orie des modèles abstraite # théorie des modèles catégorique # topos

03C95 ; 03G30 ; 18C10 ; 18D05

... Lire [+]

|

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Logic and its applications Blass, Andreas ; Zhang, Yi | American Mathematical Society 2005

Ouvrage

- 306 p.
ISBN 978-0-8218-3474-9

Contemporary mathematics , 0380

Localisation : Collection 1er étage

espace nucléaire # logique # modèle non-standard # théorie des ensembles # ultrafiltre # définissabilité # conjecture de Schanuel

03-06 ; 03C35 ; 03C45 ; 03C60 ; 03C95 ; 03C98 ; 03E05 ; 03E15 ; 03F30 ; 03H15 ; 03Cxx ; 03Exx

... Lire [+]

|

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Categoricity Baldwin, John T. | American Mathematical Society 2009

Ouvrage

- xi; 235 p.
ISBN 978-0-8218-4893-7

University lecture series , 0050

Localisation : Collection 1er étage

théorème de complétude # théorie des modèles

03C30 ; 03C45 ; 03C52 ; 03C60 ; 03C75 ; 03C95 ; 03C98 ; 03-02 ; 03C35

... Lire [+]

|

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z