En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03E45 27 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Souslin quasi-orders and bi-embeddability of uncountable structures Andretta, Alessandro ; Motto Ros, Luca | American Mathematical Society 2022

Ouvrage

- 1 vol. (VII-189 p.)
Cote : 00041467
logique mathématique # théorie des ensembles # logique infinitaire # ensemble de Souslin # déterminisme # structure indénombrable # espaces métrique non séparables # espaces de Banach non séparables

03E15 ; 03E60 ; 03E45 ; 03E10 ; 03E47

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Extensions of the axiom of determinacy Larson, Paul B. | American Mathematical Society 2023

Ouvrage

- xiii; 165 p.
Cote : 00041603
théorie des ensembles # axiome de détermination # partition # cardinal # lemme de codage de Moschovakis # axiome de Woodin

03E60 ; 03E15 ; 03E25 ; 03E35 ; 03E45

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Problems in the constructive trend in mathematics V Orevkov, V. P. ; Sanin, N. A. | American Mathematical Society 1972

Congrès

- 287 p.
Cote : 00014594

03-02 ; 03E45 ; 60A05 ; 60F05 ; 68A20

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Problems in the constructive trend in mathematics IV Orevkov, V. P. ; Sanin, M. A. | American Mathematical Society 1970

Congrès

- 329 p.
Cote : 00014624

03-02 ; 03E45 ; 60A05 ; 60F05 ; 68A20

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Varieties of constructive mathematics Bridges, Douglas ; Richman, Fred | Cambridge University Press 1987

Ouvrage

- 149 p.
Cote : 00010967
analyse constructive # constructibilité # intuitivité # logique mathématiques # logique symbolique # mathématiques constructives # mathématiques intuitives

03E45 ; 03F50 ; 03F55 ; 03F60

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Classical recursion theory Odifreddi, P. | North-Holland 1989

Ouvrage

- 668 p.
Cote : 00013769
arithmétique # constructibilité # fondement de la logique # informatique # informatique théorique # logique # mathématique constructible # programmation mathématique # récursion # science de l'informatique # théorie d'ensemble # théorie de la preuve

03Dxx ; 03E45 ; 03F30 ; 68Q05

Localisation : Ouvrage RdC (ODIF)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Introduction to set theory and topology Kuratowski, Kazimierz ; Boron, Leo F. | Panstwowe Wydawnictwo Naukowe ; Pergamon Press 1961

Ouvrage

- 283 p.
Cote : 00003510
algèbre d'ensemble # calcul des propositions # différent type d'ensemble # dimension d'ensemble # ensemble ordonné # espace compact # espace complet # espace connecté # espace métrique # espace séparable # fonction propositionnelle # nombre cardinal # partage du plan # produit cartésien # représentation continue # simplexe # théorie des ensembles

03E10 ; 03E45 ; 03E47 ; 03E50 ; 03Exx

Localisation : Ouvrage RdC (KURA)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Modèles transitifs de la théorie des ensembles de Zermelo-Fraenkel Mostowski, Andrzej | Les Presse de l'Université de Montréal 1967

Congrès


Cote : 00006908
axiome du choix # ensemble constructible # ensemble générique de Cohen # hypothèse du continu # modèle transitif # réduction d'un modèle à un autre # théorie des ensembles de Zermelo-Fraenkel

03E45 ; 03Exx ; 04-XX ; 04A25 ; 04A30

Localisation : Salle de manutention

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Constructible sets with applications Mostowski, A. | North-Holland Publishing Co. ; PWN-Polish Scientific Publishers 1969

Ouvrage

- 269 p.
Cote : 00004215
consistance de l'axiome de choix # définabilité de foncteur # ensemble constructible # forcing # hypothèse du continu # indépendance de l'axiome de choix # polynôme # réduction de modèle # théorie des ensembles de Zermelo-Fraenkel

03Cxx ; 03E45 ; 03Fxx

Localisation : Ouvrage RdC (MOST)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Fine structure and class forcing Friedman, Sy D. | Walter De Gruyter 2000

Ouvrage

- 221 p.
Cote : 00023396
classe de forcing # logique # problème spectrale # structure fine # théorie descriptive des ensembles # théorème de codage

03-02 ; 03E15 ; 03E35 ; 03E45 ; 03E55

Localisation : Ouvrage RdC (FRIE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun