m

F Nous contacter

0

Documents  03E10 | enregistrements trouvés : 50

O

-A +A

P Q

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

- 333 p.
ISBN 978-0-8218-3086-4

Proceedings of the Steklov institute of mathematics , 0154

Localisation : Collection 1er étage

03D35 ; 03E10 ; 14E15 ; 18D10 ; 58Exx

... Lire [+]

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

- 477 p.

Biblioteka matematyczna , 0020

Localisation : Ouvrage RdC (GRZE)

complétion # constructivité # fonction récursive # groupe abélien # logique mathématique # métamathématique # nombre ordinal # quantificateur # quantificateur de fonction # système déductif # sémantique # théorie des treillis # théorie indécidable # théorème de Herbrand-Gentzen # théorème de Skolem-Löwenheim généralisé # vérité

03-02 ; 03-03 ; 03B25 ; 03D20 ; 03E10

... Lire [+]

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

- 324 p.
ISBN 978-3-7643-8528-6

Progress in mathematics , 0263

Localisation : Collection 1er étage

logique mathématique # arithmétique ordinale # arithmétique cardinale # application à la théorie des théories de Ramsey # ensembles partiellement ordonné # espace de Banach # séparabilité

03E10 ; 03E75 ; 05D10 ; 06A07 ; 46B03 ; 54D65 ; 54A25

... Lire [+]

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

Actualités scientifiques et industrielles , 1020

Localisation : Ouvrage RdC (C)

fonction régulièrement calculable # hypothèse du continu # ordin al constructible # ordinal # transfini

03E10 ; 03E50 ; 04A10 ; 04A30

... Lire [+]

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

- pag. mult.
ISBN 978-2-225-81909-4

Localisation : Ouvrage RdC (BOUR)

application universelle # cardinal # correspondance # couple # ensemble bien ordonné # ensemble fini # ensemble infini # ensemble ordonné # ensemble équipotent # famille d'ensemble # isomorphisme # limite inductive # limite projective # mathématique formelle # morphisme # nombre entier # produit # relation # relation collectivisante # relation d'ordre # relation d'équivalence # réunion et intersection # structure # terme # théorie logique # théorie quantifiée # théorie égalitaire # théorème application universelle # cardinal # correspondance # couple # ensemble bien ordonné # ensemble fini # ensemble infini # ensemble ordonné # ensemble équipotent # famille d'ensemble # isomorphisme # limite inductive # limite projective # mathématique formelle # morphisme # nombre entier # produit # relation # relation collectivisante # relation d'ordre # relation d'équivalence # réunion et intersection # structure # terme # théorie logique # ...

03E10 ; 06A10

... Lire [+]

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

- 228 p.
ISBN 978-2-87647-145-0

Localisation : Ouvrage RdC (KAMK)

20 ème siècle # ensemble bien ordonné # ensemble ordonné # fondement de la théorie des ensembles # nombre cardinal # nombre ordinal # théorème de bonne ordonnance # type d'ordre

01A60 ; 03E10 ; 03Exx ; 04-03

... Lire [+]

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

- 241 p.
ISBN 978-0-85312-749-9

Ellis horwood series in mathematics and its applications

Localisation : Ouvrage RdC (ARTM)

arithmétique # cardinal # nombre irrationnel # quaternion # système de nombre # théorie des nombres

03E10 ; 11-02 ; 11Gxx ; 15A33 ; 20G20

... Lire [+]

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

- 152 p.
ISBN 978-0-19-853395-5

Oxford Logic Guide , 0020

Localisation : Ouvrage RdC (FORS)

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

... Lire [+]

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

- 351 p.
ISBN 978-0-7204-2200-9

Studies in logic and the foundations of mathematics , 0076

Localisation : Ouvrage RdC (DRAK)

cardinal de partition # cardinal inaccessible # cardinal indescriptible # cardinal mesurable # grands cardinaux # langage # langage infinitaire # principe de réflexion # théorie des ensembles # univers constructible

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

... Lire [+]

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

Set theory Jech, Thomas | Springer 2003

Ouvrage

- xiii; 769 p.
ISBN 978-3-540-44085-7

Springer monographs in mathematics

Localisation : Ouvrage RdC (JECH)

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

... Lire [+]

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

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (KURATOWSKI

axiome # cardinal # ensemble ordonné # logique # logique algébrique # théorie d'ensemble # théorie des nombres cardinaux

03E10 ; 03E28 ; 03Exx ; 03Gxx

... Lire [+]

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


ISBN 978-0-8284-0119-7

Localisation : Disparu

application de deux espaces # application semi-simple # combinaison d'ensemble # condition de Baire # ensemble de point # fonction réelle # image d'ensemble de Suslin # nombre cardinal # nombre ordinal # système d'ensemble # système de Borel # type d'ordre

03E10 ; 03E15 ; 04A10 ; 04A15 ; 05A05

... Lire [+]

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

- 105 p.

Actualités scientifiques et industrielles , 0606

Localisation : Ouvrage RdC (CAVA)

ensemble parfait # ensemble bien ordonné # ensemble formé # nombre irrationnel # ordinal transfini # puissance d'un ensemble # série trigonométrique # théorie de la croissance # théorie des ensembles

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

... 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.

- xxiii; 429 p.
ISBN 978-3-0348-0223-9

Science networks - historical studies , 0045

Localisation : Ouvrage RdC (HINK)

théorie des ensembles # théorème de Cantor-Bernstein # théorème de Schröder-Bernstein # théorème de division de Bernstein # Georg Cantor # Richard Dedekind # Felix Bernstein # Ernst Zermelo

03-02 ; 03-03 ; 01A55 ; 01A60 ; 03E10

... Lire [+]

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

- 491 p.
ISBN 978-0-521-06791-1

Localisation : Ouvrage RdC (WHIT)

famille cyclique # mesure # nombre ordinal # principe de mathématiques # série # série compacte # Whitehead # oeuvres complètes

03E10 ; 03E45 ; 04A10

... Lire [+]

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

- 742 p.
ISBN 978-0-521-06791-1

Localisation : Ouvrage RdC (WHIT)

arithmétique cardinale # convergence # limite de fonction # principe de mathématiques # produit de relations # relation # théorie des séries # Whitehead # oeuvres complètes

03E05 ; 03E10 ; 03F30 ; 04A05 ; 04A10

... Lire [+]

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

- 133 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (TARS)

addition ordinaire relationnelle # algèbre ordinaire # arithmétique

03D25 ; 03E10 ; 04A05 ; 04A10

... Lire [+]

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

- 530 p.

International setries in pure and applies mathematics

Localisation : Ouvrage RdC (ROSS)

appartenance à une classe # axiome du choix # calcul d'affirmation ou des prédicats restreint # dénombrement # logique mathématique # logique symbolique # nombre cardinal ou ordinal # relation et fonction

03Bxx ; 03E10

... Lire [+]

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

- 191 p.
ISBN 978-2-02-015919-7

Sources du savoir

Localisation : Ouvrage RdC (BOLZ)

intéraction des substances # paradoxe de l'espace # paradoxe de l'infini # paradoxe du temps # univers infini # éther

00A30 ; 03-03 ; 03A05 ; 03E10 ; 04A10

... Lire [+]

Z