TY - BOOK AU - Zapletal Jindrich TI - Forcing idealized SN - 978-0-521-87426-7 U1 - 511.322 PY - 2008/// CY - Cambridge PB - CUP KW - Descriptive set theory KW - Forcing (Model theory) ER -