13 citations · 72 across the 24 of their papers we have counts for
Showing 2015 · math.LOShow all
2 papers · 2 filters
math.LO2015
Strong Completeness of Provability Logic for Ordinal Spaces
Juan P. Aguilera, David Fernández-Duque
Abashidze and Blass independently proved that the modal logic is complete for its topological interpretation over any ordinal greater than or equal to equipped with…
math.LO2015★ 1 cited
Predicativity through transfinite reflection
Andrés Cordon Franco, David Fernández Duque, Joost J. Joosten +1
Peano Arithmetic is known to be provably equivalent to reflection over Elementary Arithmetic. We prove a characterization of Predicative Analysis in the guise of ATR0 in terms of s…