Ekeland's variational principle in weak and strong systems of arithmetic

David Fernández-Duque, Paul Shafer, Keita Yokoyama

We analyze Ekeland's variational principle in the context of reverse mathematics. We find that that the full variational principle is equivalent to ${\Pi }_1^1$-${\mathsf{CA}}_0$, a strong t…