m

F Nous contacter

0

Documents  03E25 | enregistrements trouvés : 35

O

-A +A

P Q

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

- 167 p.
ISBN 978-0-8218-3535-7

Contemporary mathematics , 0361

Localisation : Collection 1er étage

théorie des modèles # théorie des ensembles non-standard # arithmétique # équivalence récursive # analyse non-archimédienne

03C62 ; 03C20 ; 03H05 ; 03H15 ; 03D50 ; 26E30 ; 03C55 ; 03E25 ; 03E99 ; 03E35

... Lire [+]

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


ISBN 978-0-444-87656-0

Studies in logic and the foundations of mathematics , 0114

Localisation : Colloque 1er étage (SALZ)

fondements des mathematiques # logique # philosophie des sciences

00A35 ; 00A69 ; 03-03 ; 03A05 ; 03E25 ; 00A30

... Lire [+]

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

- 91 p.
ISBN 978-0-8218-5040-4

Contemporary mathematics , 0039

Localisation : Collection 1er étage

03A05 ; 03E25 ; 03E45 ; 03F65 ; 36A03

... Lire [+]

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


ISBN 978-0-8218-0245-8

Proceedings of symposia in pure mathematics

Localisation : Collection 1er étage

axiomatique # theorie des sembles

02K99 ; 03E25 ; 03Exx ; 04-06 ; 04A25

... Lire [+]

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


ISBN 978-0-8218-0246-5

Proceedings of symposia in pure mathematics

Localisation : Collection 1er étage

axiomatique # theorie des sembles

02K99 ; 03E25 ; 03Exx ; 04-06 ; 04A25

... Lire [+]

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

- 410 p.
ISBN 978-0-387-90670-6

Studies in the history of mathematics and physical sciences , 0008

Localisation : Ouvrage RdC (MOOR)

histoire et biographie # histoire des mathématiques et des mathématiciens # 20ème siècle # logique mathématique et fondation # théorie des ensembles # axiome de choix et de propositions relatives # axiome de choix et de propositions équivalentes

01A55 ; 01A60 ; 03-03 ; 03E25 ; 04-03

... Lire [+]

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

- xiv; 536 p.
ISBN 978-3-0348-0005-1

Monografie matematyczne , 0071

Localisation : Ouvrage RdC (BUKO)

fonction réelle # topologue élémentaire # application à la théorie des ensembles

03E15 ; 03E17 ; 03E25 ; 03E35 ; 03E50 ; 03E60 ; 03E65 ; 26A21 ; 28A05 ; 28A99 ; 54D99 ; 54G15 ; 54H05 ; 26-02 ; 26A03 ; 03E75

... Lire [+]

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

- 218 p.
ISBN 978-1-56881-213-7

Localisation : Ouvrage Rdc (WAPN)

récréation mathématique # logique # axiome de choix # paradoxe de Banach Tarski # 20ème siècle

00A08 ; 03E25 ; 00-01 ; 00A05 ; 01A60 ; 03-01 ; 03-03

... Lire [+]

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

- xviii; 348 p.
ISBN 978-1-107-04259-9

Encyclopedia of mathematics and its applications , 0163

Localisation : Collection 1er étage

paradoxe de Banach-Tarski # théorie de la mesure # décomposition # paradoxe de Hausdorff # axiome de choix # groupe de transformation euclidienne # mesure de Jordan

43-02 ; 03E25 ; 28A75 ; 43A07

... Lire [+]

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

- 253 p.
ISBN 978-0-521-45704-0

Localisation : Ouvrage RdC (WAGO)

action localement commutative # axiome du choix # duplication des sphères et des balles # décomposition # décomposition paradoxale # espace non Euclidien # groupe libre de rang élevé # mesure de Marczewski # mesure exotique # non existence de mesure additive finiment # paradoxe de Banach-Tarski # paradoxe de Hausdorff # semigroupe de type équidécomposable # supradocilité # théorie de la mesure

03E25 ; 20E05 ; 28-XX ; 51M15

... Lire [+]

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

Lecture notes in mathematics , 0006

Localisation : Collection 1er étage

complétude du calcul de terme restreint # déducibilité # logique de terme du premier ordre # logique du prédicat du premier odre # opérateur de choix # plongement # preuve de complétude # satisfiabilité # substitution

03Bxx ; 03E25 ; 03Fxx

... Lire [+]

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

- 358 p.
ISBN 978-0-7204-2284-9

Studies in logic and the foundationd of mathematics , 0084

Localisation : Ouvrage RdC (Sets)

Paul Bernays # bibliographie # biographie # ensemble et classe # fonction de choix d'ensemble ou classe # principe de réflexion et indescriptibilité # rôle des classes en théorie des ensembles # schéma d'infinité en théorie axiomatique des ensembles # système de théorie axiomatique des ensembles

01A70 ; 03E25 ; 03E30 ; 03Exx ; 04-XX

... Lire [+]

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

- xxii-191 p.
ISBN 978-0-19-960916-1

Oxford logic guides , 0047

Localisation : Ouvrage RdC (BELL)

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

... Lire [+]

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

- 154 p.

Localisation : Ouvrage RdC (COHE)

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

... Lire [+]

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

- 154 p.

Localisation : Ouvrage RdC (COHE)

axiome du choix # consistance # hypothèse du continu # indépendance # logique # théorie des ensembles

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

... Lire [+]

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

- Pp. 97-145

Actualités scientifiques et industrielles , 0607

Localisation : Ouvrage RdC (CAVA)

axiome de choix # bon ordre # cardinal transfini # catégorie # ordinal transfini # théorie des ensembles

03E10 ; 03E25 ; 03Exx ; 03G30 ; 04-XX

... Lire [+]

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

- 104 p.
ISBN 978-0-387-90092-6

Undergraduate texts in mathematics

Localisation : Ouvrage RdC (HALM)

axiome de Peano # axiome du choix # lemme de Zorn # théorie naïve des ensembles

03E25 ; 04A25

... Lire [+]

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

Lecture notes in mathematics , 0037

Localisation : Collection 1er étage

B-modèle intérieur maximal # M-variété # absoluticité et définabilité # indépendance de V=L # indépendance de l'axiome de choix # indépendance de l'hypothèse du continu # modèle # modèle B-valué # modèle constructible # modèle dans la théorie des ensembles # modèle générique # modèle intérieur # métalangage # méthode de contrainte de Cohen # nombre générique # système Zermelo-Fraenkel # théorème de plongement pour modèle ZF

03C40 ; 03Cxx ; 03E25 ; 03E50 ; 04A25

... Lire [+]

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

- 141 p.

Collection de monographies sur la théorie des fonctions

Localisation : Ouvrage RdC (BORE);Réserve

axiome du choix # grand nombre # hypothèse du continu # théorie de la mesure probabiliste

03E25 ; 03E50 ; 03E55 ; 04A25 ; 04A30

... Lire [+]

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

- xx; 649 p.
ISBN 978-2-91-635240-4

Tableau noir

Localisation : Ouvrage RdC (DEHO)

théorie des ensembles # grands nombres cardinaux # théorie de l'infini

03Exx ; 03E10 ; 03E25 ; 03E30 ; 03E35 ; 03E45 ; 03E55 ; 03E60 ; 03B05 ; 03B10 ; 03C07 ; 03D20 ; 03F40

... Lire [+]

Z