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.
In seinem Buch Parts of Classes hat David Lewis eine Reduktion von ZFC auf eine Mereologie zweiter Stufe skizziert. Sein Resultat nimmt in...
EU State Aid Control: Law and Economics thoroughly explores the main rationales of State aid control, the main concerns and the various trade-offs that underlie the rules and the decisions ultimately taken by the European Commission and the Courts. In recent years, the European Commission has conducted an almost complete overhaul of State aid control in the European Union (EU). The SAM initiative has engendered new secondary legislation, as well as new guidelines covering practically all areas of State aid control, including both horizontal and sector-specific rules....
EU State Aid Control: Law and Economics thoroughly explores the main rationales of State aid control, the main concerns and the va...