Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-12-593150-2
Localisation : Colloque 1er étage (LOND)
ensemble K-analytique # ensemble analytique # espace analytique # espaces métriques non-séparables # jeu infini # théorie des ensembles descriptive effective
03E15 ; 04A15 ; 26A21 ; 28A05 ; 90D13
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 320 p.
ISBN 978-0-8218-1922-7
Contemporary mathematics , 0257
Localisation : Collection 1er étage
application de la calculabilité # arithmétique # arithmétique d"ordre élevé # degré # degré de Turin # ensemble récursivement énumérable # fonction calculable # logique # modèle nonstandard # numération # récurrence # réductibilité # théorie de récurrence # théorie des modèles # théorie descriptive des ensembles
03C57 ; 03D25 ; 03D28 ; 03D30 ; 03D45 ; 03D80 ; 03E15 ; 03E35 ; 03F35 ; 03H15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 160 p.
ISBN 978-0-8218-2786-4
DIMACS series in discrete mathematics and theorerical computer science , 0058
Localisation : Collection 1er étage
théorie des nombres # relation de partition # théorie descriptive des ensembles # grand cardinal # convergence des resultats # indépendance des résultats
03-06 ; 03Exx ; 03E02 ; 03E15 ; 03E35 ; 03E55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 291 p.
ISBN 978-0-521-78644-7
London mathematical society lecture note series , 0277
Localisation : Collection 1er étage
théorie descriptive des ensembles # système dynamique # théorie ergodique # dynamique topologique # théorème de récurrence de Poincaré # groupe d'automorphisme # espace de mesure # cocycle # dynamique descriptive
03E15 ; 37-06 ; 37Axx ; 37B05 ; 54H20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- ix; 207 p.
ISBN 978-1-4704-4332-0
Contemporary mathematics , 0752
Localisation : Collection 1er étage
Simon Thomas # théorie des ensembles # théorie descriptive des ensembles # théorie des modèles internes # théorie ergodique # combinatoire # théorie des modèles
03E15 ; 03E35 ; 03E45 ; 03E60 ; 03E75 ; 03C45 ; 28D05 ; 05C45 ; 00B30 ; 03Exx ; 03-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;Logic and Foundations
Generalized descriptive set theory has mostly been developed for uncountable cardinals satisfying the condition $\kappa ^{< \kappa }=\kappa$ (thus in particular for $\kappa$ regular). More recently the case of uncountable cardinals of countable cofinality has attracted some attention, partially because of its connections with very large cardinal axioms like I0. In this talk I will survey these recent developments and propose a unified approach which potentially could encompass all possible scenarios (including singular cardinals of arbitrary cofinality).
Generalized descriptive set theory has mostly been developed for uncountable cardinals satisfying the condition $\kappa ^{< \kappa }=\kappa$ (thus in particular for $\kappa$ regular). More recently the case of uncountable cardinals of countable cofinality has attracted some attention, partially because of its connections with very large cardinal axioms like I0. In this talk I will survey these recent developments and propose a unified approach w...
03E15 ; 03E55 ; 54A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-2299-9
Memoirs of the american mathematical society , 0311
Localisation : Collection 1er étage
03E15 ; 04A15 ; 28A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 144 p.
ISBN 978-0-19-503602-2
Oxford logic guides , 0011
Localisation : Ouvrage RdC (MANS)
logique mathématique et fondation # computabilité et théorie de récursion # hiérarchie # théorie des ensembles
03Dxx ; 03E15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 480 p.
ISBN 978-3-540-07904-0
Perspectives in mathematical logic
Localisation : Ouvrage RdC (HINM)
hiérarchie # mathématique logique et fondation
03D60 ; 03D65 ; 03E15 ; 03-02 ; 04A15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 187 p.
ISBN 978-3-540-17767-8
Lecture notes in mathematics , 1249
Localisation : Collection 1er étage
analyse non standard # expansion asymptotique # théorie asymptotique
03E15 ; 03H10 ; 06F15 ; 40A25 ; 41A60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 344 p.
ISBN 978-3-540-19305-0
Perpectives in mathematical logic
Localisation : Ouvrage RdC (SACK)
ensemble admissible # ensemble ordonné # fondement de la logique # logique # recursivité # théorie de la récursion
03D55 ; 03D60 ; 03D65 ; 03E15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
- 637 p.
ISBN 978-0-444-85305-9
Studies in logic and the foundations of mathematics , 0100
Localisation : Ouvrage RdC (MOSC)
A-Borel # Kappa-Suslin # espace polonais # métamathématique # théorie de structure pour classe de points # théorie des ensembles descriptive # théorie efficace # théorème de récursion # univers comstructible # univers des jeux
03E15 ; 03F50 ; 04A15 ; 90Dxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 175 p.
Annals of mathematics studies , 0055
Localisation : Ouvrage RdC (SACK)
borne supérieure minimale pour suite de degrés # catégorie # continuum de degrés mutuellement incomparables # degré d'insolvabilité # degrés énumérables récursivement # opérateur saut # segment initial de degrés # sous-ordonnancement indénombrable de degrés # théorie de la mesure # théorie descriptive des ensembles
03D15 ; 03D25 ; 03E15 ; 68Q15 ; 68Q25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 536 p.
ISBN 978-3-540-57071-4
Perspectives in mathematical logic
Localisation : Ouvrage RdC (KANA)
arbre et structure # compacité # constructibilité # détermination # forcing et ensemble de réels # grands cardinaux # hypothèse forte # inaccessibilité # indescriptibilité # infini supérieur # jeu infini # mesurabilité # plongement # propriété de partition # théorie des ensembles
03E05 ; 03E15 ; 03E35 ; 03E55 ; 03E60
... Lire [+]