Fernández-Duque David

Доклады и лекции в базе данных Math-Net.Ru

1. Provable well-orders and hyperarithmetical soundness
   D. Fernández-Duque
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   21 мая 2024 г. 18:30   
2. Goodstein principles of intermediate strength
   D. Fernández-Duque
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   6 апреля 2020 г. 18:30   
3. 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
   17 октября 2017 г. 12:50   
4. Absolute completeness of $\mathsf{S4}_u$ for its measure-theoretic semantics
   David Fernández-Duque
   Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
   24 августа 2010 г. 11:45