Visser Albert

Presentations in Math-Net.Ru

1. Interpreters as consistoids (continuation)
   A. Visser
   Seminars "Proof Theory" and "Logic Online Seminar"
   December 20, 2021 18:30   
2. Interpreters as consistoids
   A. Visser
   Seminars "Proof Theory" and "Logic Online Seminar"
   November 22, 2021 18:30   
3. Löb's principle for pair theories
   A. Visser
   Logical Perspectives 2021: Conference
   June 7, 2021 16:00   
4. Cyclic Henkin Logic (continuation)
   A. Visser
   Seminars "Proof Theory" and "Logic Online Seminar"
   December 21, 2020 18:30
5. Cyclic Henkin Logic
   A. Visser
   Seminars "Proof Theory" and "Logic Online Seminar"
   December 14, 2020 18:30   
6. The second incompleteness theorem revisited
   A. Visser
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 20, 2017 12:15   
7. What is Goedel’s Second Incompleteness Theorem?
   Prof. Dr. Albert Visser
   Steklov Mathematical Institute Seminar
   October 19, 2017 16:00   
8. What is Gödel's second incompleteness theorem?
   A. Visser
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 19, 2017 16:00