Showing math.LOShow all
3 papers · 1 filter
math.LO2023
Arrow's theorem, ultrafilters, and reverse mathematics
Benedict Eastaugh
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 Ki…
math.LO2018
Computational reverse mathematics and foundational analysis
Benedict Eastaugh
Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical applicatio…
math.LO2018
Set existence principles and closure conditions: unravelling the standard view of reverse mathematics
Benedict Eastaugh
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…