Fernández-Duque David

Presentations in Math-Net.Ru

1. Provable well-orders and hyperarithmetical soundness
   D. Fernández-Duque
   Seminars "Proof Theory" and "Logic Online Seminar"
   May 21, 2024 18:30   
2. Caristi's fixed point theorem, non-monotone inductive definitions, and relativized leftmost paths
   D. Fernández-Duque
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 17, 2017 12:50   
3. Absolute completeness of $\mathsf{S4}_u$ for its measure-theoretic semantics
   David Fernández-Duque
   The eighth International сonference "Advances in Modal Logic" (AiML 2010)
   August 24, 2010 11:45