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 Mostowski, Andrzej 5 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Foundational studies
selected works vol. 1 et 2 Mostowski, Andrzej | North-Holland Publishing Co. ; Polish Scientific Publishers 1979

Ouvrage

- 635 p.
Cote : 00001007
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

Localisation : Oeuvres complètes RdC (MOST)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Teoria mnogosci :
wrazze wstepem do opisowej teorii mnogosci Kuratowski, Kazimierz ; Mostowski, Andrzej | Institut Matematyczny ; Polska Akademia Nauk 1978

Ouvrage

- 470 p.
Cote : 00005849
théorie des ensembles # théorie des ensembles descriptifs # classification de Borel # arrangements de Suslin

04-02

Localisation : Ouvrage RdC (KURA)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Modèles transitifs de la théorie des ensembles de Zermelo-Fraenkel Mostowski, Andrzej | Les Presse de l'Université de Montréal 1967

Congrès


Cote : 00006908
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

Localisation : Salle de manutention

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Undecidable theories Tarski, Alfred ; Mostowski, Andrzej ; Robinson, Raphael M. | North-Holland Publishing Co. 1953

Ouvrage

- xi; 98 p.
Cote : 00037150
indécidabilité

03-02 ; 03D35

Localisation : Ouvrage RdC (TARS)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Sentences undecidable in formalized arithmetic :
an exposition of the theory of Kurt Gödel Mostowski, Andrzej | North-Holland Publishing Co. 1964

Ouvrage

- 117 p.
Cote : 00004208
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

Localisation : Ouvrage RdC (MOST)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

Langue