|
Bell, John L.
Professor of Philosophy, University of Western Ontario
Print publication date: 2005 (this edition)
Published to Oxford Scholarship Online: September 2007 Print ISBN-13: 978-0-19-856852-0 |
|
|
doi:10.1093/acprof:oso/9780198568520.003.0003
Abstract: The forcing relation between elements of a partially ordered set and statements of set theory is introduced in this chapter and used to calculate truth values in V(B). This leads to the construction of models in which the axiom of constructibility and the continuum hypothesis are falsified.
Keywords: partially ordered set, constructability, continuum hypothesis, 
|
|
|
|
|
2
FORCING AND SOME INDEPENDENCE PROOFS
Citation Export