Visser Albert

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

1. There are no minimal essentially undecidable theories
   
   J. Logic Comput., 2023,  1–13
2. Finitely axiomatized theories lack self-comprehension
   
   Bull. Lond. Math. Soc., 54:6 (2022),  2513–2531
3. On a question of Krajewski's
   
   J. Symb. Log., 84:1 (2019),  343–358