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