Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 167 p.
ISBN 978-0-8218-3535-7
Contemporary mathematics , 0361
Localisation : Collection 1er étage
théorie des modèles # théorie des ensembles non-standard # arithmétique # équivalence récursive # analyse non-archimédienne
03C62 ; 03C20 ; 03H05 ; 03H15 ; 03D50 ; 26E30 ; 03C55 ; 03E25 ; 03E99 ; 03E35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;Logic and Foundations
Recent work has clarified how various natural second-order set-theoretic principles, such as those concerned with class forcing or with proper class games, fit into a new robust hierarchy of second-order set theories between Gödel-Bernays GBC set theory and Kelley-Morse KM set theory and beyond. For example, the principle of clopen determinacy for proper class games is exactly equivalent to the principle of elementary transfinite recursion ETR, strictly between GBC and GBC+$\Pi^1_1$-comprehension; open determinacy for class games, in contrast, is strictly stronger; meanwhile, the class forcing theorem, asserting that every class forcing notion admits corresponding forcing relations, is strictly weaker, and is exactly equivalent to the fragment $\text{ETR}_{\text{Ord}}$ and to numerous other natural principles. What is emerging is a higher set-theoretic analogue of the familiar reverse mathematics of second-order number theory.
Recent work has clarified how various natural second-order set-theoretic principles, such as those concerned with class forcing or with proper class games, fit into a new robust hierarchy of second-order set theories between Gödel-Bernays GBC set theory and Kelley-Morse KM set theory and beyond. For example, the principle of clopen determinacy for proper class games is exactly equivalent to the principle of elementary transfinite recursion ETR, ...
03E60 ; 03E30 ; 03C62
... 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.
- 135 p.
ISBN 978-0-8218-0293-9
Contemporary mathematics , 0176
Localisation : Collection 1er étage
analyse "non" standard # conservativité de EST # détermination topologique de domaine interne local # espace CL # mathématique "non" standard # théorie des ensembles "non" standard # théorie des ensembles d'agrandissement # théorie des ensembles standard # théorie des modèles # topologie d'ensemble de points
03C62 ; 03H05 ; 54D99
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 147 p.
ISBN 978-0-8218-3116-8
American Mathematical Society Translations. Series 2 , 0140
Localisation : Collection 1er étage
approximation diophantienne # cardinalité d'ensembles finis # corps de caractéristique zéro # dimension de Hausdorff # irrationnalité de quantités contenant zeta(3) # optimisation vectorielmle ou géométrique # racine caractéristique de matrice stochastique ou à éléments # représentation d'algèbre de Lie tridimensionnelle simple # représentation de fonctions en domaines convexes # représentation de monoides # représentations multivaluées # supervariété algébrique # système arithmétique # série exponentielle généralisée # économie # équation homogène en mots à 3 inconnues
approximation diophantienne # cardinalité d'ensembles finis # corps de caractéristique zéro # dimension de Hausdorff # irrationnalité de quantités contenant zeta(3) # optimisation vectorielmle ou géométrique # racine caractéristique de matrice stochastique ou à éléments # représentation d'algèbre de Lie tridimensionnelle simple # représentation de fonctions en domaines convexes # représentation de monoides # représentations multivaluées # ...
03C62 ; 11J69 ; 11J72 ; 14A20 ; 15A18
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 285 p.
ISBN 978-0-8218-2984-4
Contemporary mathematics , 0302
Localisation : Collection 1er étage
théorie des modèles # modèle arithmétique # logique # théorie des ensembles # algèbre # caractéristique cardinal du continuum # hypothèse du continuum # classification # groupe simple # groupe symétrique # solution de Shelah # théorie complète omega-stable # structure pseudo-analytique # méthode de Hrushoski
03E17 ; 03E35 ; 03E50 ; 03C35 ; 03C45 ; 03C60 ; 03C62 ; 20E32 ; 20B30 ; 03C98
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 574 p.
ISBN 978-3-7643-7777-9
Applied and numerical harmonic analysis
Localisation : Ouvrage RdC (QIAN)
analyse numérique # analyse de Fourier # ondelette # approximation # fractale # analyse temps-fréquence # signal linéaire # signale non-linéaire # traitement d'image
03H05 ; 26E35 ; 46S20 ; 03C20 ; 03C62 ; 03C98 ; 26A03 ; 46A99 ; 46B08 ; 46M07 ; 54A99 ; 54E15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvi; 247 p.
ISBN 978-0-521-15433-8
London mathematical society lecture note series , 0382
Localisation : Collection 1er étage
complexité # variable aléatoire # analyse mathématique # limite arithmétique # mesure de Loeb # arbre de décision
03F20 ; 03-02 ; 03C62 ; 03F30 ; 68Q17
... 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.
- x; 269 p.
ISBN 978-981-3223-51-6
Lecture notes series, Institute for mathematical sciences, National university of Singapore , 0033
Localisation : Ouvrage RdC (SETS)
logique # théorie des ensembles # calcul complexe # théorème de Goodstein # cardinal # limite de Fraïssé # idéal # 10ème problème de Hilbert
03-06 ; 03D20 ; 03E40 ; 03C62 ; 00B25
... Lire [+]