Researcher
David Fernández-Duque
- Disciplines:Other mathematical sciences and statistics, Applied mathematics in specific fields, Analysis, General mathematics, History and foundations
Affiliations
- Department of Mathematics: Analysis, Logic and Discrete Mathematics (Department)
Member
From1 Jan 2019 → Today - Department of Mathematics: Algebra and Geometry (Department)
Member
From1 Sep 2017 → 31 Dec 2018
Projects
1 - 1 of 1
- Duality theory for verification formalismsFrom1 Nov 2023 → TodayFunding: FWO senior postdoctoral fellowship
Publications
1 - 10 of 36
- Chapter 7 : Intermediate Goodstein principles(2023)
Authors: David Fernández-Duque, Oriola Gjetaj, Andreas Weiermann, Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster
Pages: 165 - 194 - Arithmetical and hyperarithmetical worm battles(2022)
Authors: David Fernández-Duque, Joost J Joosten, Fedor Pakhomov, Konstantinos Papafilippou, Andreas Weiermann
Pages: 1558 - 1584 - Bisimulations for intuitionistic temporal logics(2021)
Authors: Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández-Duque
Pages: 2265 - 2285 - Who holds the best card? Secure communication of optimal secret bits(2021)
Authors: Hans Van Ditmarsch, David Fernández-Duque, Vaishnavi Sundararajan, S. P. Suresh
Pages: 1 - 29 - Connecting with computability(2021)
Authors: Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque
- Hyperarithmetical worm battles(2021)Volume: 13137
Authors: David Fernández-Duque, Konstantinos Papafilippou, Joost J. Joosten, Sergei Artemov, Anil Nerode
Pages: 52 - 69 - Predicatively unprovable termination of the Ackermannian Goodstein process(2020)
Authors: Toshiyasu Arai, David Fernández-Duque, Stanley Wainer
Pages: 3567 - 3582 - Ackermannian Goodstein sequences of intermediate growth(2020)Volume: 12098
Authors: David Fernández-Duque, Andreas Weiermann
Pages: 163 - Intuitionistic linear temporal logics(2020)
Authors: Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández-Duque
- The dynamics of epistemic attitudes in resource-bounded agents(2019)
Authors: Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
Pages: 457 - 488