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

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

Set theory / Frank R. Drake

Public ISBD Titre : Set theory : an introduction to large cardinals Type de document : texte imprimé Auteurs : Frank R. Drake Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1974 Collection : Studies in Logic and The Foundations of Mathematics num. 76 Importance : xii - 351 p. ISBN/ISSN/EAN : 978-0-7204-2279-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E25 Axiom of choice and related propositions 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results 03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinals Mots-clés : mathematical logic  large cardinals  set theory Index. décimale : 03C Monographie Set theory : an introduction to large cardinals [texte imprimé] / Frank R. Drake . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1974 . - xii - 351 p.. - (Studies in Logic and The Foundations of Mathematics; 76) . ISBN : 978-0-7204-2279-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E25 Axiom of choice and related propositions 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results 03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinals Mots-clés : mathematical logic  large cardinals  set theory Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9219	03C85	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	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

the Axiom of choice / Jech, Thomas J.

Public ISBD Titre : the Axiom of choice Type de document : texte imprimé Auteurs : Jech, Thomas J. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1973 Collection : Studies in Logic and The Foundations of Mathematics num. 75 Importance : xi - 202 p. ISBN/ISSN/EAN : 978-0-7204-2275-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:03E25 Axiom of choice and related propositions 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results Mots-clés : set theory  mathematical logic  axiom choice Index. décimale : 03C Monographie the Axiom of choice [texte imprimé] / Jech, Thomas J. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1973 . - xi - 202 p.. - (Studies in Logic and The Foundations of Mathematics; 75) . ISBN : 978-0-7204-2275-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:03E25 Axiom of choice and related propositions 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results Mots-clés : set theory  mathematical logic  axiom choice Index. décimale : 03C Monographie

Exemplaires

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

The souslin problem / Devlin, Keith J.

Permalink

---

page 1/1