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

Simplified independence proofs / Rosser, J. Barkley

Public ISBD Titre : Simplified independence proofs : boolean valued models of set theory Type de document : texte imprimé Auteurs : Rosser, J. Barkley Editeur : Academic Press, Inc. Année de publication : 1969 Collection : PURE AND APPLIED MATHEMATICS num. 31 Importance : xv - 217 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C62 Models of arithmetic and 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 : models of arithmetic  set theory Index. décimale : 03C Monographie Simplified independence proofs : boolean valued models of set theory [texte imprimé] / Rosser, J. Barkley . - [S.l.] : Academic Press, Inc., 1969 . - xv - 217 p.. - (PURE AND APPLIED MATHEMATICS; 31) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C62 Models of arithmetic and 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 : models of arithmetic  set theory Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4504	03C18	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible
4503	03C18	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

---

page 1/1