6 citations · 7 across the 4 of their papers we have counts for
4 papers
From foundations to applications: reverse mathematics and philosophy
Benedict Eastaugh
Reverse mathematics is a branch of mathematical logic dedicated to determining the minimal set existence principles necessary and sufficient to derive ordinary mathematical theorem…
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…
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…
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…