David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre

In seinem wichtigen 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. In den Beweis geht ein, dass geordnete Paare in M plus "Es gibt ...