3 résultat(s) recherche sur le mot-clé 'silver machines'

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

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

Introduction to axiomatic set theory / Takeuti, G.

Public ISBD Titre : Introduction to axiomatic set theory Type de document : texte imprimé Auteurs : Takeuti, G. ; Wilson M. Zaring Editeur : New York, NY : Springer Année de publication : 1971 Collection : Graduate Texts in Mathematics num. 01 Importance : vii - 250 p. ISBN/ISSN/EAN : 978-0-387-05302-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : zermlofraenkel set theory  constructible sets  standard mode l  forcing  silver machines  goedel model  generalized continuum hypothesis  classes  axiomatic set theory Index. décimale : 03C Monographie Introduction to axiomatic set theory [texte imprimé] / Takeuti, G. ; Wilson M. Zaring . - New York, NY : Springer, 1971 . - vii - 250 p.. - (Graduate Texts in Mathematics; 01) . ISBN : 978-0-387-05302-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : zermlofraenkel set theory  constructible sets  standard mode l  forcing  silver machines  goedel model  generalized continuum hypothesis  classes  axiomatic set theory Index. décimale : 03C Monographie

Exemplaires

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