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 results

Filter
Select: All / None
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.
Call n° : 00035281
logique # théorie descriptive des ensembles # axiome de détermination

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

Location : Ouvrage RdC (GAME)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
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.
Call n° : 00037472
logique # histoire de la logique # théorie des ensembles

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

Location : Ouvrage RdC (WADGE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
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.
Call n° : 00040854
théorie des jeux # théorie des ensembles # théorie de la mesure # séminaire de la Cabale

03-06 ; 03Exx ; 00B25

Location : Colloque 1er étage (LOSA)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
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.
Call n° : 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

Location : Ouvrage RdC (MITC)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
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.
Call n° : 00035529
logique

03-06 ; 00B25

Location : Colloque 1er étage (ATHE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

Language