Documents  03C62 | enregistrements trouvés : 10

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 [+]

ISBN 978-90-232-1888-3

Methodology and science foundation , 0002

Localisation : Ouvrage RdC (GILL)

03-02 ; 03A05 ; 03C62 ; 10-02 ; 11-02

... Lire [+]

- 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 [+]

- 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 [+]

- 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 [+]

- 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 [+]

- 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 [+]

- vii; 195 p.
ISBN 978-3-642-54935-9

Lecture notes in mathematics , 2111

Localisation : Collection 1er étage

analyse globale # théorie des modèles # théorie des nombres

03Cxx ; 03C45 ; 03C10 ; 03C60 ; 03C64 ; 12J20 ; 11U05 ; 11U09 ; 03-06 ; 03C62 ; 00B25

... Lire [+]

- 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 [+]