4 résultat(s) recherche sur le mot-clé 'constructible universe'

Coding the universe / A. Beller

Public ISBD Titre : Coding the universe Type de document : texte imprimé Auteurs : A. Beller ; Ronald Björn Jensen (1936-....) ; P. Welch, Auteur Editeur : Cambridge University Press Année de publication : 1982 Collection : London Mathematical Society lecture note series num. 47 Importance : 353 p. Format : 23 cm ISBN/ISSN/EAN : 978-0-521-28040-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results 03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core models Mots-clés : constructible universe  forcing  set-generic sets Index. décimale : 03C Monographie Coding the universe [texte imprimé] / A. Beller ; Ronald Björn Jensen (1936-....) ; P. Welch, Auteur . - [S.l.] : Cambridge University Press, 1982 . - 353 p. ; 23 cm. - (London Mathematical Society lecture note series; 47) . ISBN : 978-0-521-28040-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results 03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core models Mots-clés : constructible universe  forcing  set-generic sets Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21663	03C190	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Borel liftings of Borel sets: some decidable and undecidable statements / Gabriel Debs

Public ISBD Titre : Borel liftings of Borel sets: some decidable and undecidable statements Type de document : texte imprimé Auteurs : Gabriel Debs, Auteur ; Jean Saint Raymond, Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2007 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 876 Importance : 118 p. ISBN/ISSN/EAN : 978-0-8218-3971-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E15 Descriptive set theory 03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core models 54-XX General topology :54HXX Connections with other structures, applications:54H05 Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) Mots-clés : Borel liftings  compact coverings  constructible universe  Luzin's problem  distinguished tree relations Index. décimale : Mem Borel liftings of Borel sets: some decidable and undecidable statements [texte imprimé] / Gabriel Debs, Auteur ; Jean Saint Raymond, Auteur . - Providence, R.I. : American Mathematical Society, 2007 . - 118 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 876) . ISBN : 978-0-8218-3971-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E15 Descriptive set theory 03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core models 54-XX General topology :54HXX Connections with other structures, applications:54H05 Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) Mots-clés : Borel liftings  compact coverings  constructible universe  Luzin's problem  distinguished tree relations Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19524	Mem/876	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

Constructibility / Devlin, Keith J.

Public ISBD Titre : Constructibility Type de document : texte imprimé Auteurs : Devlin, Keith J. Editeur : Springer-Verlag Année de publication : 1984 Collection : Perspectives in Mathematical Logic Importance : xi - 425 p. ISBN/ISSN/EAN : 978-0-387-13258-7 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory:03E05 Other combinatorial set theory 03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core models Mots-clés : morasses  covering theorem  large cardinals  silver machines  combinatorial principles  fine structure of l  constructible universe  constructible hierarchy  constructible sets  axiom of choice  generalized continuum hypothesis Index. décimale : 03C Monographie Constructibility [texte imprimé] / Devlin, Keith J. . - [S.l.] : Springer-Verlag, 1984 . - xi - 425 p.. - (Perspectives in Mathematical Logic) . ISBN : 978-0-387-13258-7 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory:03E05 Other combinatorial set theory 03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core models Mots-clés : morasses  covering theorem  large cardinals  silver machines  combinatorial principles  fine structure of l  constructible universe  constructible hierarchy  constructible sets  axiom of choice  generalized continuum hypothesis Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13147	03C110	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

The core model / A. Dodd

Public ISBD Titre : The core model Type de document : texte imprimé Auteurs : A. Dodd, Auteur Editeur : Cambridge University Press Année de publication : 1982 Collection : London Mathematical Society Lecture Note Series. num. 61 Importance : xxxviii - 229 p. Format : 23 cm ISBN/ISSN/EAN : 978-0-521-28530-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core models 03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinals Mots-clés : constructible universe  fine structure  iterated ultrapowers  singular cardinal hypothesis  covering theorem  combinatorial principles  mice  generic models  Prikry sequences  measurable cardinals  absolutness results for models of ZFC Index. décimale : 03C Monographie The core model [texte imprimé] / A. Dodd, Auteur . - [S.l.] : Cambridge University Press, 1982 . - xxxviii - 229 p. ; 23 cm. - (London Mathematical Society Lecture Note Series.; 61) . ISBN : 978-0-521-28530-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core models 03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinals Mots-clés : constructible universe  fine structure  iterated ultrapowers  singular cardinal hypothesis  covering theorem  combinatorial principles  mice  generic models  Prikry sequences  measurable cardinals  absolutness results for models of ZFC Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21553	03C189	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible