- Start
- David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre
David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre
Angebote / Angebote:
In seinem Buch Parts of Classes hat David Lewis eine Reduktion von ZFC auf eine Mereologie zweiter Stufe skizziert. Sein Resultat nimmt in vorliegender Rekonstruktion folgende Form an: ZFC ist in M (der klassischen Mereologie zweiter Stufe) plus "Es gibt eine stark unerreichbare Partition" parametrisiert interpretierbar. Der Beweis benutzt, dass geordnete Paare in M plus "Es gibt eine unendliche Partition" parametrisiert interpretierbar sind.
Folgt in ca. 10 Arbeitstagen