|
|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
| 1. |
Juvenal Murwanashyaka, Fedor Pakhomov, Albert Visser, “There are no minimal essentially undecidable theories”, J. Logic Comput., 34:6 (2024), 1159–1171  |
3
|
|
2022 |
| 2. |
Fedor Pakhomov, Albert Visser, “Finitely axiomatized theories lack self-comprehension”, Bull. Lond. Math. Soc., 54:6 (2022), 2513–2531  |
2
|
|
2019 |
| 3. |
Fedor Pakhomov, Albert Visser, “On a question of Krajewski's”, J. Symb. Log., 84:1 (2019), 343–358   |
3
|
|
| 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: