01194nam0-2200385-i-450-99000933860040332120110406123405.0978-0-521-15433-8paperback000933860FED01000933860(Aleph)000933860FED0100093386020110406d2011----km-y0itay50------baengUSa---a---001yyForcing with random variables and proof complexityJan KrajíčekCambridgeCambridge University Press2011XVI, 247 p.23 cmLondon Mathematical Society lecture note series382Logica matematica e fondamentiPresentazione di ricercheModelli dell'aritmetica e della teoria degli insiemiComplessità delle dimostrazioni511.322itaKrajíček,JanITUNINAREICATUNIMARCBK990009338600403321C-9-(38224575MA1MA103-0203C6203F20Forcing with random variables and proof complexity239993UNINA