m

F Nous contacter

0

Documents  Mostowski, Andrzej | enregistrements trouvés : 5

O
     

-A +A

P Q

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


ISBN 978-0-8405-0083-0

SMS , 0025

Localisation : Salle de manutention

axiome du choix # ensemble constructible # ensemble générique de Cohen # hypothèse du continu # modèle transitif # réduction d'un modèle à un autre # théorie des ensembles de Zermelo-Fraenkel

03E45 ; 03Exx ; 04-XX ; 04A25 ; 04A30

... Lire [+]

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

- xi; 98 p.
ISBN 978-0-7204-2246-7

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (TARS)

indécidabilité

03-02 ; 03D35

... Lire [+]

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

- 470 p.

Monografie matematyczne , 0027

Localisation : Ouvrage RdC (KURA)

théorie des ensembles # théorie des ensembles descriptifs # classification de Borel # arrangements de Suslin

04-02

... Lire [+]

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

- 117 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (MOST)

arithmétique formalisée # fonction et relation # logique # récursivité et définabilité # sentence indécidable # système (S) # sémantique de (S) # théorie de Gödel # théorème arithmétique prouvable dans (S) # théorème d'incomplétude

03B25 ; 03D20 ; 03D35

... Lire [+]

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

- 635 p.
ISBN 978-0-444-85102-4

Studies in logic and the foundations of mathematics , 0093

Localisation : Oeuvres complètes RdC (MOST)

arithmétique du second ordre # arithmétique oméga-complète # axiome du choix # calcul fonctionnel # calcul logique # constructibilité # corps booléen dénombrable # décidabilité # définabilité # définition imprédicative # ensemble # fondement # forcing # hiérarchie # logique multi-valuée # modèle # métamathématique générale # oméga-modèle non béta-modèle # principe d # Mostowski # oeuvres complètes

01A60 ; 03-02

... Lire [+]

Z