📈 economics

On the construction and representation of social welfare orders satisfying consequentialist equity axioms

Diese Arbeit untersucht die konstruktive Natur von Sozialwohlfahrtsordnungen auf unendlichen Nutzenströmen, die Gerechtigkeitsaxiome wie die starke Gerechtigkeit, die Hammond-Gerechtigkeit oder das Pigou-Dalton-Transferprinzip erfüllen, wobei sie zeigt, dass explizite lexikographische Beschreibungen zwar existieren, wenn die Nutzenmenge wohlgeordnet ist, die Existenz solcher Ordnungen auf allgemeinen Domänen jedoch nichtkonstruktive mengentheoretische Annahmen wie die Existenz einer Nicht-Ramsey-Kollektion voraussetzt.

Ursprüngliche Autoren: Ram Sewak Dubey

Veröffentlicht 2026-06-23

📖 6 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Ram Sewak Dubey

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie sind ein kosmischer Schiedsrichter, dessen Aufgabe es ist, das Glück zukünftiger Generationen in einer unendlichen Linie zu bewerten. Sie haben eine Liste von Nutzenströmen (wie eine Punktetafel für jede Generation, die sich bis in alle Ewigkeit erstreckt). Ihre Aufgabe ist es zu entscheiden, welche Liste „besser“ ist als eine andere, aber Sie müssen dabei strengen Regeln der Fairness folgen.

Dieses Papier von Ram Sewak Dubey ist eine tiefgehende Untersuchung der Frage: Können wir ein faires Rankingsystem für unendliche Zukünfte mit klaren, schrittweisen Anweisungen (konstruktive Methoden) aufbauen, oder müssen wir uns auf magische, unsichtbare Werkzeuge (nicht-konstruktive Methoden) verlassen, die wir gar nicht erst aufschreiben können?

Hier ist die Aufschlüsselung der Ergebnisse des Papers unter Verwendung einfacher Analogien.

Die drei Regeln der Fairness

Das Papier konzentriert sich auf drei spezifische „Fairness“-Regeln, die ein gutes Rankingsystem befolgen sollte:

Starke Equity (Gleichheit): Wenn Sie zwei Szenarien haben, in denen alle gleich sind, außer zwei Generationen, und in einem Szenario erhält die „arme“ Generation einen Zuwachs, während die „reiche“ Generation einen Rückschlag erleidet (aber immer noch reicher als die arme bleibt), muss das System das Szenario bevorzugen, in dem die arme Generation den Zuwachs erhalten hat.
Hammond-Equity: Eine etwas schwächere Version des Obigen.
Pigou-Dalton-Transfer: Wenn man einer reichen Person ein winziges Stück Glück entzieht und es einer armen Person gibt (ohne dass die arme Person reicher als die reiche wird), sollte das System diese neue Anordnung bevorzugen.

Der große Konflikt: „Bauen“ vs. „Beweisen, dass es existiert“

Das Papier unterscheidet zwischen zwei Wegen, um eine Lösung zu finden:

Konstruktion (Der Bauplan): Sie können einen spezifischen Algorithmus oder ein Rezept aufschreiben, das jeder befolgen kann, um beliebige Listen zu vergleichen und ein Ergebnis zu erhalten. Das ist wie das Bauen eines Hauses mit einem klaren Bauplan.
Repräsentation (Der magische Beweis): Sie können beweisen, dass ein Ranking existieren muss, indem Sie abstrakte Mathematik verwenden (oft unter Rückgriff auf das „Auswahlaxiom“, was wie ein Zauberstab ist, der sagt: „Eine Lösung existiert irgendwo, auch wenn wir sie nicht finden können“). Das ist wie zu sagen: „Es gibt irgendwo im Universum ein perfektes Haus“, ohne jedoch sagen zu können, wo es ist oder wie man es baut.

Die gute Nachricht: Wenn wir es bauen können

Das Papier stellt fest, dass wir ein faires Rankingsystem aufbauen können, wenn die möglichen Ebenen des Glücks (der „Bereich“) wohlgeordnet sind (das heißt, sie sind wie eine Leiter angeordnet, bei der man immer die „nächste“ Stufe finden kann, wie die natürlichen Zahlen 1, 2, 3...).

Die Analogie: Stellen Sie sich vor, die Glücksebenen sind wie Stufen einer Treppe. Der Autor erstellt ein spezielles „lexikographisches“ (lexikonartiges) System. Anstatt nur auf die erste Generation, dann auf die zweite zu schauen, betrachtet dieses System die Schwellenwerte des Glücks. Es wandelt jeden unendlichen Glücksstrom in eine lange Kette von Binärcodes (0 und 1) um, basierend darauf, ob das Glück einer Generation über oder unter bestimmten „Schwellenwert“-Stufen liegt.
Das Ergebnis: Indem er diese Binärcodes wie Wörter in einem Wörterbuch vergleicht, erschafft der Autor ein perfektes, explizites Rankingsystem, das alle Fairness-Regeln erfüllt. Kein Zauberstab nötig.

Die schlechte Nachricht: Wenn wir Magie brauchen (Nicht-konstruktiv)

Das Papier stellt auch fest, dass wir an eine Wand stoßen, wenn die Glücksebenen in einer absteigenden Reihenfolge angeordnet sind (wie negative ganze Zahlen: -1, -2, -3... die ewig nach unten gehen) oder eine bestimmte „ganzzahlähnliche“ Struktur aufweisen.

Die Analogie: Stellen Sie sich vor, Sie versuchen, unendliche Ströme zu bewerten, in denen die Glücksebenen wie eine Treppe sind, die in ein endloses Kellergeschoss führt. Das Papier beweist, dass Sie, wenn Sie versuchen, hier ein faires Rankingsystem aufzubauen, gezwungen sind, eine „Nicht-Ramsey-Menge“ zu erstellen.
Was ist eine Nicht-Ramsey-Menge? Betrachten Sie sie als eine „Chaos-Sammlung“. Es ist eine Gruppe von unendlichen Teilmengen von Zahlen, die so verworren und komplex ist, dass sie durch keine logische, schrittweise Regel konstruiert werden kann. Es ist ein mathematisches Objekt, das nur existiert, wenn man das „Auswahlaxiom“ (den Zauberstab) verwendet.
Das Fazit: Wenn Ihr Glücksbereich wie eine absteigende Treppe aussieht, können Sie kein faires Rankingsystem aufschreiben. Sie können nur beweisen, dass eines existiert, indem Sie auf nicht-konstruktive Magie zurückgreifen. Das bedeutet, dass ein realer politischer Entscheidungsträger ein solches System niemals anwenden könnte, um Entscheidungen zu treffen, da er das Ergebnis niemals berechnen könnte.

Die Repräsentationsfalle (Reelle Zahlen vs. Rankings)

Das Papier befasst sich auch mit einem häufigen Missverständnis: „Wenn wir Dinge ranken können, können wir ihnen dann nicht einfach einen Wert (eine reelle Zahl) geben?“

Die Erkenntnis: Für einige Bereiche (wie das Intervall [0, 1]) ist es unmöglich, jedem unendlichen Strom einen einzelnen reellen Wert (einen Score) zuzuweisen, während die Fairness-Regeln eingehalten werden.
Die Wendung: Selbst wenn Sie ihnen keinen Wert (Score) geben können, könnten Sie sie dennoch explizit ranken (wie im Abschnitt „Die gute Nachricht“ gezeigt).
Die Lehre: Nur weil Sie keine Formel erstellen können, die eine Zahl ausgibt (wie 85,4), bedeutet das nicht, dass Sie nicht eine klare Regel für die Entscheidung darüber haben können, was besser ist. Der „Score“ und die „Ranking-Regel“ sind zwei verschiedene Dinge.

Zusammenfassung der Thesen des Papers

Konstruktiver Erfolg: Wenn Ihr Universum des Glücks „wohlgeordnet“ ist (wie eine Leiter, die nach oben führt), können wir explizit ein faires Rankingsystem unter Verwendung eines cleveren, lexikonartigen Codes aufbauen.
Konstruktives Scheitern: Wenn Ihr Universum des Glücks eine „absteigende“ Struktur hat (wie eine Leiter, die ewig nach unten führt), ist der Aufbau eines faires Rankingsystems ohne Rückgriff auf nicht-konstruktive mathematische Magie (Nicht-Ramsey-Mengen) unmöglich.
Repräsentationsgrenzen: Sie können diese fairen Rankings nicht immer in einfache reelle Zahlen-Scores umwandeln, insbesondere bei komplexen Bereichen wie [0, 1].
Die Lücke: Die Menge der Welten, in denen wir ein Rankingsystem bauen können, ist anders als die Menge der Welten, in denen wir jedem Ergebnis einen Score zuweisen können. Sie decken sich nicht immer.

Kurz gesagt: Das Papier kartografiert genau den Bereich, in dem wir eine klare, schrittweise Anleitung zur Bewertung der Zukunft bauen können, und den Bereich, in dem wir zugeben müssen, dass das Schreiben einer solchen Anleitung mathematisch unmöglich ist.

Technische Zusammenfassung: Über die Konstruktion und Repräsentation sozialer Wohlfahrtsordnungen, die konsequenzialistische Äquitätsaxiome erfüllen

Problemstellung
Die Arbeit befasst sich mit dem grundlegenden Spannungsverhältnis zwischen der Existenz und der expliziten Konstruktion von sozialen Wohlfahrtsordnungen (Social Welfare Orders, SWOs) auf unendlichen Nutzenströmen ( $X = Y^{\mathbb{N}}$ ), die konsequenzialistische Äquitätsaxiome erfüllen. Insbesondere wird untersucht, ob SWOs, die Starke Äquität (Strong Equity, SE), Hammond-Äquität (HE) oder das Pigou–Dalton-Transferprinzip (PD) erfüllen, explizit konstruiert werden können, ohne auf nicht-konstruktive mengentheoretische Instrumente wie das Auswahlaxiom (Axiom of Choice, AC) oder die Existenz von Nicht-Ramsey-Mengen zurückzugreifen.

Während die bisherige Literatur (z. B. Bossert et al., 2007) die Existenz solcher SWOs unter Verwendung nicht-konstruktiver Methoden (Szpilrajn-Lemma) etabliert hat, und neuere Arbeiten (Lauwers, 2010; Zame, 2007) bestätigten, dass nicht-konstruktive Instrumente in bestimmten Kontexten für die Existenz notwendig sind, bleibt die präzise Abgrenzung zwischen Domänen, die explizite Konstruktionen zulassen, und solchen, die nicht-konstruktive Objekte erfordern, noch vollständig zu klären. Darüber hinaus sucht die Arbeit nach einer Klärung der Beziehung zwischen der Existenz einer reellwertigen Sozialen Wohlfahrtsfunktion (Social Welfare Function, SWF) und der Existenz einer explizit definierten Sozialen Wohlfahrtsordnung (SWO).

Methodik
Der Autor verwendet einen dualen Ansatz, der konstruktive Ordnungstheorie mit mengentheoretischen Impossibilitätsbeweisen kombiniert:

Konstruktiver Ansatz: Für spezifische Domänen konstruiert die Arbeit explizite SWOs unter Verwendung von lexikografischen Präferenzrelationen. Entscheidend ist hierbei, dass diese Konstruktionen die lexikografische Ordnung nicht direkt auf die Generationen anwenden (was die Äquität verletzen würde), sondern Nutzenströme in binäre Schwellenwert-Nutzen-Codes abbilden. Diese Codes werden dann lexikografisch über eine wohlgeordnete Indexmenge, die aus der Nutzenmenge $Y$ abgeleitet ist, geordnet.
Nicht-konstruktiver/Impossibilitäts-Ansatz: Um die Notwendigkeit nicht-konstruktiver Methoden zu etablieren, nutzt die Arbeit das Konzept von Nicht-Ramsey-Kollektionen. Durch die Konstruktion spezifischer Nutzenströme basierend auf Teilmengen natürlicher Zahlen und der Anwendung der Äquitätsaxiome zeigt der Autor auf, dass die Existenz einer SWO, die diese Axiome auf bestimmten „reichen“ Domänen (insbesondere jenen, die Teilmengen vom Ordnungstyp $\omega^*$ oder $\mu$ enthalten) erfüllt, die Existenz einer Nicht-Ramsey-Menge impliziert. Da Nicht-Ramsey-Mengen nicht-konstruktive Objekte sind (ihre Existenz beruht auf dem Auswahlaxiom), beweist dies, dass keine explizite SWO auf solchen Domänen existieren kann.
Repräsentationsanalyse: Die Arbeit unterscheidet zwischen der Existenz einer SWF (einer reellwertigen Abbildung) und der Existenz einer SWO (einer binären Relation). Sie verwendet Separabilitätsargumente (z. B. die Konstruktion unzähliger disjunkter Intervalle), um Impossibilitätsresultate für spezifische Domänen wie $[0, 1]$ zu beweisen.

Zentrale Beiträge und Ergebnisse

1. Positive Konstruktionsergebnisse (Wohlgeordnete Domänen)

Theorem 1: Wenn die Nutzenmenge $Y$ durch die übliche Ordnung wohlgeordnet ist, existiert eine explizit definierte SWO auf $X = Y^{\mathbb{N}}$ , die Starke Pareto (SP), Starke Äquität (SE), Hammond-Äquität (HE) und das Pigou–Dalton-Prinzip (PD) erfüllt.
Mechanismus: Die Konstruktion bildet Ströme auf binäre Codes basierend auf Schwellenwerten in $\bar{Y} = \{t \in Y : \exists s \in Y, t < s\}$ ab. Die Ordnung erfolgt lexikografisch über den Produktraum $\bar{Y} \times \mathbb{N}$ , wobei niedrigere Schwellenwerte und dann die Generationen priorisiert werden. Diese Methode bewahrt äquitätssensible Vergleiche bei gleichzeitiger Aufrechterhaltung von Vollständigkeit und Transitivität.
Erweiterung: Die Arbeit liefert zudem explizite SWO-Konstruktionen für SE allein unter schwächeren Bedingungen: wenn die Menge der potenziellen „Pre-Transfer-Armen“ Nutzenwerte $L(Y)$ wohlgeordnet ist oder die Menge der „Pre-Transfer-Reichen“ Nutzenwerte $U(Y)$ re wohlgeordnet ist.

2. Nicht-konstruktive Implikationen (Reiche absteigende Domänen)

Theorem 2: Die Existenz einer SWO, die SE und Monotonie (M) auf einer Domäne $Y$ erfüllt, die eine Teilmenge vom Ordnungstyp $\omega^*$ (z. B. negative ganze Zahlen) enthält, zieht die Existenz einer Nicht-Ramsey-Kollektion nach sich.
Theorem 2(b): Ähnlich gilt für das PD-Prinzip in Kombination mit Monotonie: Wenn $Y$ Sequenzen mit einer konstanten Lückenstruktur in absteigender Richtung enthält, impliziert die Existenz einer SWO eine Nicht-Ramsey-Kollektion.
Proposition 4: Für Domänen des Ordnungstyps $\mu$ (die eine integer-ähnliche Teilmenge enthalten) impliziert die Existenz einer SWO, die allein SE erfüllt (oh sich Effizienzaxiome zu bedienen), ebenfalls die Existenz einer Nicht-Ramsey-Kollektion. Dies identifiziert eine klare Klasse von Domänen, in denen SE-Rankings inhärent nicht-konstruktiv sind.

3. Repräsentation vs. Konstruktion

Proposition 1: Wenn $Y$ ** abzählbar** ist, existiert eine reellwertige SWF, die SE erfüllt. Der Beweis stützt sich jedoch auf das Szpilrajn-Lemma (Erweiterung partieller Ordnungen), was im Allgemeinen nicht-konstruktiv ist.
Proposition 2: Wenn $Y = [0, 1]$ , existiert keine reellwertige SWF, die SE erfüllt. Diese Unmöglichkeit ergibt sich aus der SE allein, unabhängig von Effizienzaxiomen, aufgrund der Unfähigkeit, die strikte Ordnung der SE in die reelle Linie einzubetten (mittels eines Separabilitätsarguments).
Differenzierung: Die Arbeit hebt hervor, dass die Domäne, die eine explizite SWO-Konstruktion zulässt (z. B. wohlgeordnetes $Y$ ), nicht notwendigerweise dieselbe ist wie die Domäne, die eine reellwertige SWF-Repräsentation zulässt. Umgekehrt garantiert die Existenz einer SWF auf einer abzählbaren Domäne nicht die explizite Konstruktion der zugrunde liegenden SWO.

Bedeutung und Behauptungen
Die Arbeit beansprucht, das Verständnis der „Korrespondenz“ zwischen Repräsentation und Konstruktion in der intergenerationellen Äquität zu verfeinern.

Umformulierung der Korrespondenz: Es wird argumentiert, dass die bisherige Literatur, die eine Übereinstimmung zwischen Domänen, die reellwertige SWFs zulassen, und solchen, die konstruierbare SWOs zulassen, suggeriert, für konsequenzialistische Äquitätsaxiome nicht korrekt ist. Die Domänen sind axiomenspezifisch und hängen von der ordnungstheoretischen Struktur von $Y$ ab.
Explizit vs. Nicht-explizit: Die Ergebnisse zeigen, dass explizite SWO-Konstruktionen auf wohlgeordneten Domänen möglich sind, selbst dort, wo reellwertige Repräsentationen scheitern (z. B. auf $Y=\mathbb{N}$ mit SE+SP). Umgekehrt ist die Existenz jeglicher SWO (konstruierbar oder nicht) auf integer-ähnlichen Domänen an nicht-konstruktive Mengenlehre gebunden.
Politische Relevanz: Die Arbeit stellt fest, dass, falls eine SWO nur über nicht-konstruktive Methoden (AC) nachgewiesen werden kann, es eine offene Frage bleibt, ob ein Sozialplaner Paare von Nutzenströmen explizit ranken kann. Die konstruktiven Ergebnisse liefern einen Rahmen für das explizite Ranking auf wohlgeordneten Domänen, während die nicht-konstruktiven Ergebnisse die Grenzen solcher expliziten politischer Instrumente aufzeigen.

Zusammenfassend lässt sich sagen, dass die Arbeit etabliert, dass zwar Äquitätsaxiome wie SE, HE und PD durch explizit konstruierte SWOs auf wohlgeordneten Domänen erfüllt werden können, ihre Erfüllung auf Domänen mit absteigenden integer-ähnlichen Strukturen jedoch die Existenz nicht-konstruktiver mathematischer Objekte voraussetzt, was die praktische Implementierbarkeit solcher sozialen Wohlfahrtsordnungen in diesen spezifischen Kontexten einschränkt.