3 résultat(s) recherche sur le mot-clé 'constructible sets'

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

A course in mathematical logic for mathematicians / Yuri Ivanovich Manin

Public ISBD Titre : A course in mathematical logic for mathematicians Type de document : texte imprimé Auteurs : Yuri Ivanovich Manin, Auteur Mention d'édition : 2nd ed. Editeur : New York, NY : Springer Année de publication : 2010 Collection : Graduate Texts in Mathematics num. 53 Importance : xvii - 384 p. Format : 25 cm ISBN/ISSN/EAN : 978-1-4419-0614-4 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:03BXX General logic:03B10 Classical first-order logic Mots-clés : mathematical logic  textbook  provability  truth  deducibility  continuum problem  forcing  completeness  incompleteness  constructible sets  computability  recursive functions  Church's thesis  Diophantine sets  algorithmic undecidability  recursive groups  constructive universe  model theory  classification theory  stability theory  compactness Index. décimale : 03C Monographie A course in mathematical logic for mathematicians [texte imprimé] / Yuri Ivanovich Manin, Auteur  . -  2nd ed. . - New York, NY : Springer, 2010 . - xvii - 384 p. ; 25 cm. - (Graduate Texts in Mathematics; 53) . ISBN : 978-1-4419-0614-4 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:03BXX General logic:03B10 Classical first-order logic Mots-clés : mathematical logic  textbook  provability  truth  deducibility  continuum problem  forcing  completeness  incompleteness  constructible sets  computability  recursive functions  Church's thesis  Diophantine sets  algorithmic undecidability  recursive groups  constructive universe  model theory  classification theory  stability theory  compactness Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20561	03C184	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