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

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

Ouvrage

V

- 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 [+]

Filtrer

Type
Codes MSC

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
d'ordre

04A10 ; 04A30 ; 06Axx ; 26A15 ; 26Axx

... Lire [+]

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

Set theory Hausdorff, Felix ; Aumann, John R. | Chelsea Publishing Co. 1978

Ouvrage

V


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.

Grundlagen der analysis
das rechnen mit ganzen, rationalen, irrationalen, komplexen zahlen
Landau, Edmund | Akademische verlagsgesellschaft M.B.H. 1930

Ouvrage

V

Localisation : Réserve

calcul # coupure # fraction # nombre complexe # nombre entier # nombre irrationnel # nombre naturel # nombre rationnel # nombre réel # proportion de Dedekind

03E10 ; 04A10 ; 11Axx

... Lire [+]

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

Les paradoxes de l'infini Bolzano, Bernard ; Sinaceur,Hourya | Editions Du Seuil 1993

Ouvrage

V

- 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 [+]

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

Théorie axiomatique des ensembles Krivine, Jean-Louis | Presses Universitaires De France 1969

Ouvrage

V

Collection SUP le mathematicien , 0001

Localisation : Disparu

cardinal # ensemble constructible # modèle de Fraenkel-Mostowski # théorie axiomatique des ensembles

04-01 ; 04A10 ; 04A25

... Lire [+]