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 03E40 20 results

Filter
Select: All / None
Q
K | F x r
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

Multiple forcing Jech, Thomas | Cambridge University Press 1986

Ouvrage

- 136 p.
Call n° : 00012460
axiome de Martin # forcing # itération # théorie des ensembles # théorie des modèles

03Cxx ; 03E40 ; 03E50

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

Publications du Département de Mathématiques Tome 14 année 1977 Fascicule 2 Université Claude Bernard Lyon 1 | Service de documentation du Département de mathématiques, Université de Lyon 1 1977

Publication


Call n° : 00030497
fonction récursive # fondement de théorie des catégories # langage et structure # modèle cumulatif # modèle et ultra- produit # modèle générique # méthode de va et vient # propriété de forcing # reconstruction de graphe # relations dénombrables isomorphes # théorie des types # théorème de Karp-Myhill # théorème des mariages # équivalence logique pour le second ordre

03D20 ; 03E40 ; 05C60 ; 18171

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

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

Publication

- 99 p.
Call n° : 00030494
classe universelle de relations n- aires # complétude structurale # forcing faible # intersection en ensemble fini # langue naturelle ou technique # porte de notion opératoire # preuve mathématique # relation unaire # théorie de Galois # théorie sur graphes orientés # théorème des 4 couleurs # type de graphe # ultraproduit de groupes finis

03Bxx ; 03E40 ; 03Fxx ; 04A05 ; 05C20

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

The stationary tower :
notes on a course Larson, Paul B. ; Woodin, W. Hugh | American Mathematical Society 2004

Ouvrage

- 132 p.
Call n° : 00028108
théorie des ensembles # théorie descriptive des ensembles # tour stationnaire # grand cardinal # théorème de Woodin # forcing # plongement

03E40 ; 03E15 ; 03E35 ; 03E55 ; 03E60

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

Borel equivalence relations:
structure and classification Kanovei, Vladimir | American Mathematical Society 2008

Ouvrage

- x; 240 p.
Call n° : 00035263
logique # théorie descriptive des ensembles # relation d'équivalence de Borel # reductivité de Borel # idéal de Borel # classification # théorème de dichotomie # relation d'équivalence d'orbite # espace polonais

03E15 ; 03-02 ; 28Dxx ; 37A20 ; 03E40

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 Jech, Thomas | Springer 2003

Ouvrage

- xiii; 769 p.
Call n° : 00035606
axiome de théorie des ensembles # logique mathématique # nombre cardinal # théorie des ensembles # théorie des modèles # théorie descriptive des ensembles

03Exx ; 03-02 ; 03-01 ; 03E05 ; 03E45 ; 03E15 ; 03E40 ; 03E50 ; 03E55 ; 03E35 ; 03E60 ; 03E04 ; 03E10 ; 03E17 ; 03E02

Location : Ouvrage RdC (JECH)

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:
Boolean-valued models and independence proofs Bell, John l. | Clarendon Press ; Oxford University Press 2005

Ouvrage

- xxii-191 p.
Call n° : 00037480
logique mathématique # axiome de choix # algèbre de Heyting # algèbre booléenne # consistance # indépendance # hypothèse du continuum # axiome de Martin # problème de Souslin

03E40 ; 03-02 ; 03C90 ; 03E35 ; 03E50 ; 03E25

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

Handbook of set theory .
Volume 1 Foreman, Matthew ; Kanamori, Akihiro | Springer 2010

Ouvrage

- xiv; 736 p.
Call n° : 00037706
théorie des ensembles

03-00 ; 03Exx ; 00B15 ; 03E02 ; 03E04 ; 03E05 ; 03E10 ; 03E15 ; 03E17 ; 03E35 ; 03E40 ; 03E45 ; 03E55 ; 03E60

Location : Ouvrage RdC (HAND)

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