-
Arrow's theorem, ultrafilters, and reverse mathematics
Authors:
Benedict Eastaugh
Abstract:
This paper initiates the reverse mathematics of social choice theory, studying Arrow's impossibility theorem and related results including Fishburn's possibility theorem and the Kirman--Sondermann theorem within the framework of reverse mathematics. We formalise fundamental notions of social choice theory in second-order arithmetic, yielding a definition of countable society which is tractable in…
▽ More
This paper initiates the reverse mathematics of social choice theory, studying Arrow's impossibility theorem and related results including Fishburn's possibility theorem and the Kirman--Sondermann theorem within the framework of reverse mathematics. We formalise fundamental notions of social choice theory in second-order arithmetic, yielding a definition of countable society which is tractable in $\mathsf{RCA}_0$. We then show that the Kirman--Sondermann analysis of social welfare functions can be carried out in $\mathsf{RCA}_0$. This approach yields a proof of Arrow's theorem in $\mathsf{RCA}_0$, and thus in $\mathrm{PRA}$, since Arrow's theorem can be formalised as a $Π^0_1$ sentence. Finally we show that Fishburn's possibility theorem for countable societies is equivalent to $\mathsf{ACA}_0$ over $\mathsf{RCA}_0$.
△ Less
Submitted 24 April, 2024; v1 submitted 10 June, 2023;
originally announced June 2023.
-
Computational reverse mathematics and foundational analysis
Authors:
Benedict Eastaugh
Abstract:
Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational analysis, which explores the limits of different foundations for mathematics in a formally precise manner. This paper gives a detailed account of the motivations…
▽ More
Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational analysis, which explores the limits of different foundations for mathematics in a formally precise manner. This paper gives a detailed account of the motivations and methodology of foundational analysis, which have heretofore been largely left implicit in the practice. It then shows how this account can be fruitfully applied in the evaluation of major foundational approaches by a careful examination of two case studies: a partial realization of Hilbert's program due to Simpson [1988], and predicativism in the extended form due to Feferman and Schütte.
Shore [2010, 2013] proposes that equivalences in reverse mathematics be proved in the same way as inequivalences, namely by considering only $ω$-models of the systems in question. Shore refers to this approach as computational reverse mathematics. This paper shows that despite some attractive features, computational reverse mathematics is inappropriate for foundational analysis, for two major reasons. Firstly, the computable entailment relation employed in computational reverse mathematics does not preserve justification for the foundational programs above. Secondly, computable entailment is a $Π^1_1$ complete relation, and hence employing it commits one to theoretical resources which outstrip those available within any foundational approach that is proof-theoretically weaker than $Π^1_1\text{-}\mathsf{CA}_0$.
△ Less
Submitted 26 July, 2018;
originally announced July 2018.
-
Set existence principles and closure conditions: unravelling the standard view of reverse mathematics
Authors:
Benedict Eastaugh
Abstract:
It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of these equivalences lies in the set existence principles that are necessary and sufficient to prove those theorems. In this article I analyse the role of set exist…
▽ More
It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of these equivalences lies in the set existence principles that are necessary and sufficient to prove those theorems. In this article I analyse the role of set existence principles in reverse mathematics, and argue that they are best understood as closure conditions on the powerset of the natural numbers.
△ Less
Submitted 16 February, 2018;
originally announced February 2018.
