9 résultat(s) recherche sur le mot-clé 'forcing'

Forcing and classifying topoi / Scedrov, Andrej

Public ISBD Titre : Forcing and classifying topoi Type de document : texte imprimé Auteurs : Scedrov, Andrej Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1984 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 295 Importance : x - 93 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E40 Other aspects of forcing and Boolean-valued models 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : geometric realization functor  simplicial sets  generic model  independence results  forcing  geometric theories  geometric logic  classifying topos Index. décimale : Mem Forcing and classifying topoi [texte imprimé] / Scedrov, Andrej . - Providence, R.I. : American Mathematical Society, 1984 . - x - 93 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 295) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E40 Other aspects of forcing and Boolean-valued models 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : geometric realization functor  simplicial sets  generic model  independence results  forcing  geometric theories  geometric logic  classifying topos Index. décimale : Mem

Exemplaires

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

Norms on possibilities I / Roslanowski, Andrzej,

Public ISBD Titre : Norms on possibilities I : forcing with trees and creatures Type de document : texte imprimé Auteurs : Roslanowski, Andrzej,, Auteur ; Shelah, S., Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1999 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 671 Importance : xii, 167 p ISBN/ISSN/EAN : 978-0-8218-1180-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E05 Other combinatorial set theory 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results 03-XX Mathematical logic and foundations:03EXX Set theory:03E40 Other aspects of forcing and Boolean-valued models Mots-clés : forcing  proper forcing notions  norms on possibilities  cardinal characteristics of the continuum Index. décimale : Mem Norms on possibilities I : forcing with trees and creatures [texte imprimé] / Roslanowski, Andrzej,, Auteur ; Shelah, S., Auteur . - Providence, R.I. : American Mathematical Society, 1999 . - xii, 167 p. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 671) . ISBN : 978-0-8218-1180-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E05 Other combinatorial set theory 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results 03-XX Mathematical logic and foundations:03EXX Set theory:03E40 Other aspects of forcing and Boolean-valued models Mots-clés : forcing  proper forcing notions  norms on possibilities  cardinal characteristics of the continuum Index. décimale : Mem

Exemplaires

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

Proper forcing / Shelah, S.

Public ISBD Titre : Proper forcing Type de document : texte imprimé Auteurs : Shelah, S. Editeur : Springer-Verlag Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 940 Importance : XXIX-496 ISBN/ISSN/EAN : 978-0-387-11593-1 Langues : Anglais Mots-clés : forcing Index. décimale : LNM Proper forcing [texte imprimé] / Shelah, S. . - [S.l.] : Springer-Verlag, [s.d.] . - XXIX-496. - (Lecture Notes in Mathematics, ISSN 0075-8434; 940) . ISBN : 978-0-387-11593-1 Langues : Anglais Mots-clés : forcing Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5396	LNM/940	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Axiomatic set theory / Takeuti, G.

Public ISBD Titre : Axiomatic set theory Type de document : texte imprimé Auteurs : Takeuti, G. ; Wilson M. Zaring Editeur : New York, NY : Springer Année de publication : 1973 Collection : Graduate Texts in Mathematics num. 08 Importance : 238 p. ISBN/ISSN/EAN : 978-0-387-90050-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory:03C30 Other model constructions 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : standard model  forcing  silver machines  goedel model  generalized continuum hypothesis  classes  axiomatic set theory  mathematical logic Index. décimale : 03C Monographie Axiomatic set theory [texte imprimé] / Takeuti, G. ; Wilson M. Zaring . - New York, NY : Springer, 1973 . - 238 p.. - (Graduate Texts in Mathematics; 08) . ISBN : 978-0-387-90050-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory:03C30 Other model constructions 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : standard model  forcing  silver machines  goedel model  generalized continuum hypothesis  classes  axiomatic set theory  mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

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

A course in mathematical logic for mathematicians / Yuri Ivanovich Manin

Permalink

Ideals over uncountable sets / Jech, Thomas J.

Permalink

Introduction to axiomatic set theory / Takeuti, G.

Permalink

The higher infinite / Akihiro Kanamori

Permalink