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 03E35 33 results

Filter
Select: All / None
Q
K | F x r
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.
Call n° : 00041603
théorie des ensembles # axiome de détermination # partition # cardinal # lemme de codage de Moschovakis # axiome de Woodin

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

Location : Collection 1er étage

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Boolean-valued models and independence proofs in set theory Bell, J. L. | Clarendon Press 1984

Ouvrage

- 158 p.
Call n° : 00009544
logique mathématique et base # modèle Booléen-évalué # résultat d'uniformité et d'indépendance

03E40 ; 03-02 ; 03E35

Location : Ouvrage RdC (BELL)

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Freyd's models for the independence of the axiom of choice Blass, Andreas ; Scedrov, Andre | American Mathematical Society 1989

Ouvrage


Call n° : 00012450
axiome de choix # logique # theorie des ensembles # theorie des modeles

03E25 ; 03E35 ; 03E40 ; 03G30 ; 18B25

Location : Collection 1er étage

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Set theory and the continuum hypothesis Cohen, Paul J. | W. A. Benjamin Inc. 1966

Ouvrage

- 154 p.
Call n° : 00000279
axiome du choix # consistance # hypothèse du continu # indépendance # logique # théorie des ensembles

03Bxx ; 03E25 ; 03E35 ; 03E50 ; 03Exx

Location : Ouvrage RdC (COHE)

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Set theory and the continuum hypothesis Cohen, Paul J. | W. A. Benjamin Inc. 1966

Ouvrage

- 154 p.
Call n° : 00003330
axiome du choix # constance de l'hypothèse du continu # fonction récursive générale # fonction récursive primitive # indépendance de l'hypothèse d'un continu # langage formel # système formel # théorème de Lawenheim-Skolem # théorie des ensembles # théorie des ensembles de Zermelo-Fraenkel # théorème de nonplénit ude de Gobel # théorème de plénitude de Gobel

03E25 ; 03E35 ; 03E50 ; 03Exx ; 04-XX

Location : Ouvrage RdC (COHE)

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Set theory with a universal set :
exploring an untyped universe Forster, T. E. | Clarendon Press 1992

Ouvrage

- 152 p.
Call n° : 00017085
NF indice trois # NF,NFU,KF # arithmétique de cardinaux et d'ordinaux # axiome # axiome de dénombrement # classe de préfixes # conbinatoire # définition inductive # ensemble bien fondé # ensemble comme espèce naturelle # ensemble comme prédicat # ensemble universel # exploration d'univers atypique # hiérarchie de quantificateurs # lemme d'automorphisme # lemme d'équiconsistance de Kaye-Specker # lemme de Boffa # modèle de permutation # modèle de terme # n-formule # paradoxe # paradoxe de Russell # problème de consistance converse # propriété de de fermeture des petits ensembles # résumé d'ensembles # sous- système # théorie # théorie des ensembles # théorie des types[-]
NF indice trois # NF,NFU,KF # arithmétique de cardinaux et d'ordinaux # axiome # axiome de dénombrement # classe de préfixes # conbinatoire # définition inductive # ensemble bien fondé # ensemble comme espèce naturelle # ensemble comme prédicat # ensemble universel # exploration d'univers atypique # hiérarchie de quantificateurs # lemme d'automorphisme # lemme d'équiconsistance de Kaye-Specker # lemme de Boffa # modèle de permutation # modèle de ...[+]

03E10 ; 03E35 ; 03Exx ; 04-XX ; 04A10

Location : Ouvrage RdC (FORS)

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Séminaire N. Bourbabki. Vol. 1968-69 :
exposés 353-357 | Secretariat N. Bourbaki 1969

Congrès

- pag. mult.
Call n° : 00017591
2-sous-groupe de Sylow de groupe simple # Stallings # consistance en théorie de la mesure # décomposition de groupe en produit libre # forme modulaire # représentation l- adique # régularité d'hypersurface minimale # sous-ensemble analytique # variété banachique

00B15 ; 03E35 ; 11Fxx ; 20D20 ; 20E06

Location : Séminaire 1er étage

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

The higher infinite :
large cardinals in set theory from their beginnings Kanamori, Akihiro | Springer-Verlag 1997

Ouvrage

- 536 p.
Call n° : 00018999
arbre et structure # compacité # constructibilité # détermination # forcing et ensemble de réels # grands cardinaux # hypothèse forte # inaccessibilité # indescriptibilité # infini supérieur # jeu infini # mesurabilité # plongement # propriété de partition # théorie des ensembles

03E05 ; 03E15 ; 03E35 ; 03E55 ; 03E60

Location : Ouvrage RdC (KANA)

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Publications du Département de Mathématiques année 1967 tome 4 fascicule 3 Université Claude Bernard Lyon 1 | Service de documentation du Département de mathématiques, Université de Lyon 1 1967

Publication


Call n° : 00030485
approximation de problème variationnel non linéaire # classe universelle # décomposition triangulaire # espace des interprétations # logique et théorie des relations # logique mathématique # modèle dénombrable # modèle élémentaire # nombre transfini # théorie de Zermelo-Frankel # théorie des ensemble # théorie inconsistante

03Cxx ; 03E35 ; 03Exx ; 04-XX ; 49Rxx

Location : Salle de manutention

Bookmarks

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

4

Manage my selections

Report an error
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.
Call n° : 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

Location : Ouvrage RdC (FRIE)

Bookmarks

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

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language