Documents  03E15 | enregistrements trouvés : 55

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

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

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

- 150 p.
ISBN 978-0-8218-3819-8

Contemporary mathematics , 0425

Localisation : Collection 1er étage

logique

03C52 ; 03D25 ; 03D35 ; 03D80 ; 03E05 ; 03E15 ; 03E55 ; 03E60 ; 05C12 ; 52C20

... Lire [+]

- xi; 330 p.
ISBN 978-0-8218-4812-8

Contemporary mathematics , 0533

Localisation : Collection 1er étage

théorie des ensembles # théorie de Ramsey

03C55 ; 03E15 ; 03E17 ; 03E35 ; 03E60 ; 46L05 ; 54A20 ; 54A25 ; 54D20 ; 91A44 ; 03-06 ; 03Exx ; 00B25

... Lire [+]

- xx; 322 p.
ISBN 978-1-4704-2256-1

Contemporary mathematics , 0690

Localisation : Collection 1er étage

W. Hugh Woodin # théorie des ensembles # grand cardinal # espace de Banach # récursion # philosophie

03-06 ; 03Exx ; 00B15 ; 00B30 ; 03E55 ; 03E60 ; 03E57 ; 03E45 ; 03E35 ; 03E15 ; 00A30 ; 03D03

... Lire [+]

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

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

Combinatorics

computability - descriptive set theory - set theory

03Exx ; 03E15

... Lire [+]

ISBN 978-0-8218-2299-9

Memoirs of the american mathematical society , 0311

Localisation : Collection 1er étage

03E15 ; 04A15 ; 28A05

... Lire [+]

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

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

ISBN 978-0-19-503602-2

Oxford logic guides , 0011

Localisation : Disparu

03Dxx ; 03E15 ; 04A15

... Lire [+]

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

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

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

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

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

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