Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Visser, Albert

Statistics Math-Net.Ru
Presentations: 8

Number of views:
This page:284
Website: https://www.uu.nl/medewerkers/AVisser

http://www.mathnet.ru/eng/person35659
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2019
1. Fedor Pakhomov, Albert Visser, “On a question of Krajewski's”, J. Symb. Log., 84:1 (2019),  343–358  mathnet  mathscinet  isi  scopus

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

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2022