Onderzoeker
David Fernández-Duque
- Disciplines:Andere wiskunde en statistiek, Toegepaste wiskunde, Wiskundige analyse, Algemene wiskunde, Geschiedenis en grondbeginselen van de wiskunde
Affiliaties
- Vakgroep Wiskunde: Analyse, Logica en Discrete Wiskunde (Departement)
Lid
Vanaf1 jan 2019 → Heden - Vakgroep Wiskunde: Algebra en Meetkunde (Departement)
Lid
Vanaf1 sep 2017 → 31 dec 2018
Projecten
1 - 1 of 1
- Dualiteitstheorie voor verificatieformalismenVanaf1 nov 2023 → HedenFinanciering: FWO senior postdoctoraal mandaat
Publicaties
1 - 10 van 36
- Chapter 7 : Intermediate Goodstein principles(2023)
Auteurs: David Fernández-Duque, Oriola Gjetaj, Andreas Weiermann, Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster
Pagina's: 165 - 194 - Arithmetical and hyperarithmetical worm battles(2022)
Auteurs: David Fernández-Duque, Joost J Joosten, Fedor Pakhomov, Konstantinos Papafilippou, Andreas Weiermann
Pagina's: 1558 - 1584 - Bisimulations for intuitionistic temporal logics(2021)
Auteurs: Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández-Duque
Pagina's: 2265 - 2285 - Who holds the best card? Secure communication of optimal secret bits(2021)
Auteurs: Hans Van Ditmarsch, David Fernández-Duque, Vaishnavi Sundararajan, S. P. Suresh
Pagina's: 1 - 29 - Connecting with computability(2021)
Auteurs: Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque
- Hyperarithmetical worm battles(2021)Volume: 13137
Auteurs: David Fernández-Duque, Konstantinos Papafilippou, Joost J. Joosten, Sergei Artemov, Anil Nerode
Pagina's: 52 - 69 - Predicatively unprovable termination of the Ackermannian Goodstein process(2020)
Auteurs: Toshiyasu Arai, David Fernández-Duque, Stanley Wainer
Pagina's: 3567 - 3582 - Ackermannian Goodstein sequences of intermediate growth(2020)Volume: 12098
Auteurs: David Fernández-Duque, Andreas Weiermann
Pagina's: 163 - Intuitionistic linear temporal logics(2020)
Auteurs: Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández-Duque
- The dynamics of epistemic attitudes in resource-bounded agents(2019)
Auteurs: Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
Pagina's: 457 - 488