1 citations · 1 across the 1 of their papers we have counts for
2 papers
math.LO2026
A Walk with Goodstein and Ackermann
David Fernández-Duque, Andreas Weiermann
Goodstein's theorem states that a certain sequences based on exponential notation for the natural numbers are always finite. The result is independent of Peano arithmetic and is a…
math.LO2022★ 1 cited
Untangled: A Complete Dynamic Topological Logic
David Fernández-Duque, Yoàv Montacute
Dynamic topological logic () is a trimodal logic designed for reasoning about dynamic topological systems. It was shown by Fernández-Duque that the natural set of axi…