Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Visser Albert
В базах данных Math-Net.Ru
Публикаций: 3
Научных статей: 3
Лекций и докладов: 8

Статистика просмотров:
Эта страница:380
Страницы публикаций:95
Сайт: https://www.uu.nl/medewerkers/AVisser

https://www.mathnet.ru/rus/person35659
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2023
1. Juvenal Murwanashyaka, Fedor Pakhomov, Albert Visser, “There are no minimal essentially undecidable theories”, J. Logic Comput., 2023,  1–13  mathnet 3
2022
2. Fedor Pakhomov, Albert Visser, “Finitely axiomatized theories lack self-comprehension”, Bull. Lond. Math. Soc., 54:6 (2022),  2513–2531  mathnet  mathscinet 2
2019
3. Fedor Pakhomov, Albert Visser, “On a question of Krajewski's”, J. Symb. Log., 84:1 (2019),  343–358  mathnet  mathscinet  isi  scopus 3

Доклады и лекции в базе данных Math-Net.Ru
1. Interpreters as consistoids (continuation)
A. Visser
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
20 декабря 2021 г. 18:30   
2. Interpreters as consistoids
A. Visser
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
22 ноября 2021 г. 18:30   
3. Löb's principle for pair theories
A. Visser
Logical Perspectives 2021: Conference
7 июня 2021 г. 16:00   
4. Cyclic Henkin Logic (continuation)
A. Visser
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
21 декабря 2020 г. 18:30
5. Cyclic Henkin Logic
A. Visser
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
14 декабря 2020 г. 18:30   
6. The second incompleteness theorem revisited
A. Visser
Workshop on Proof Theory, Modal Logic and Reflection Principles
20 октября 2017 г. 12:15   
7. What is Goedel’s Second Incompleteness Theorem?
Prof. Dr. Albert Visser
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
19 октября 2017 г. 16:00   
8. What is Gödel's second incompleteness theorem?
A. Visser
Workshop on Proof Theory, Modal Logic and Reflection Principles
19 октября 2017 г. 16:00

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024