Forcing with random variables and proof complexity / Jan Krajicek

Public ISBD Titre : Forcing with random variables and proof complexity Type de document : texte imprimé Auteurs : Jan Krajicek, Auteur Editeur : Cambridge University Press Année de publication : 2011 Collection : London Mathematical Society Lecture Note Series. num. 382 Importance : xvi - 247 p. Format : 23 cm ISBN/ISSN/EAN : 978-0-521-15433-8 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:03C62 Models of arithmetic and set theory 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F20 Complexity of proofs Mots-clés : Bounded arithmetic  propositional proof complexity  Boolean-valued models  Loeb's measure  decision tree Index. décimale : 03C Monographie Forcing with random variables and proof complexity [texte imprimé] / Jan Krajicek, Auteur . - [S.l.] : Cambridge University Press, 2011 . - xvi - 247 p. ; 23 cm. - (London Mathematical Society Lecture Note Series.; 382) . ISBN : 978-0-521-15433-8 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:03C62 Models of arithmetic and set theory 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F20 Complexity of proofs Mots-clés : Bounded arithmetic  propositional proof complexity  Boolean-valued models  Loeb's measure  decision tree Index. décimale : 03C Monographie

Exemplaires

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

---

page 1/1