6 citations · 26 across the 19 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.LO2019
The strength of compactness for countable complete linear orders
Paul Shafer
We investigate the statement "the order topology of every countable complete linear order is compact" in the framework of reverse mathematics, and we find that the statement's stre…
math.LO2019
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 -, a strong t…
math.LO2019★ 3 cited
Cohesive Powers of Linear Orders
Rumen Dimitrov, Valentina Harizanov, Andrey Morozov +3
Cohesive powers of computable structures can be viewed as effective ultraproducts over effectively indecomposable sets called cohesive sets. We investigate the isomorphism types of…