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 Steel, John R. 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

Games, scales, and suslin cardinals: the cabal seminar. Vol. I Kechris, Alexander S. ; Löwe, Benedikt ; Steel, John R. | Cambridge University Press ; Association for Symbolic Logic 2008

Ouvrage

- xi; 445 p.
Cote : 00035281
logique # théorie descriptive des ensembles # axiome de détermination

03-06 ; 91-06 ; 00B15 ; 03E15 ; 03E60 ; 91A44

Localisation : Ouvrage RdC (GAME)

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

Wadge degrees and projective ordinals:
the cabal seminar. Vol. II Kechris, Alexander S. ; Löwe, Benedikt ; Steel, John R. | Cambridge University Press ; Association for Symbolic Logic 2012

Ouvrage

- xxii-526 p.
Cote : 00037472
logique # histoire de la logique # théorie des ensembles

03-06 ; 01A75 ; 03-03 ; 03Exx ; 00B25

Localisation : Ouvrage RdC (WADGE)

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

Large cardinals, determinacy and other topics: the Cabal Seminar. Vol. IV Kechris, Alexander S. ; Löwe, Benedikt ; Steel, John R. | Cambridge University Press ; Association for Symbolic Logic 2021

Congrès

- xv; 300 p.
Cote : 00040854
théorie des jeux # théorie des ensembles # théorie de la mesure # séminaire de la Cabale

03-06 ; 03Exx ; 00B25

Localisation : Colloque 1er étage (LOSA)

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

Fine structure and iteration trees Mitchell, William J. ; Steel, John R. | Springer-Verlag 1994

Ouvrage

- 130 p.
Cote : 00017364
arbre d'itérations # bonne suite d'extenseurs # fermeture sous segment initial # logique # processus de comparaison # solidité et condensation # souris écrasée # structure fine # structure finie # ultrapuissance # unicité de branche bien trouvée # unicité de l'extenseur suivant

03E10 ; 03E45 ; 03E55 ; 04A10 ; 04A15

Localisation : Ouvrage RdC (MITC)

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

Logic colloquium 2005
proceedings of the annual european summer meeting of the association for symbolic logic
Athens # july 28-august 3, 2005 Dimitracopoulos, Costas ; Newelski, Ludomir ; Normann, Dag ; Steel, John R. | Association for Symbolic Logic ; Cambridge University Press 2008

Congrès

- xiii; 272 p.
Cote : 00035529
logique

03-06 ; 00B25

Localisation : Colloque 1er étage (ATHE)

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