A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Mathematical Platonism. Many set theorists hold that there is just one universe of set theory, and our task is to understand it. Paradoxically, however, the most powerful tools in set theory are actually methods of constructing alternative universes. We build new models of set theory from existing models, via forcing and ultrapowers. These other models offer us glimpses of alternative universes and alternative truths. The Multiverse View. This philosophical position accepts these alternativedoi:10.1007/978-3-540-92701-3_3 fatcat:vw3nwx7b55d2rhnjt26os2g23y