RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Visser Albert
Публикации в базе данных Math-Net.Ru
There are no minimal essentially undecidable theories
J. Logic Comput.
,
34
:6 (2024),
1159–1171
Finitely axiomatized theories lack self-comprehension
Bull. Lond. Math. Soc.
,
54
:6 (2022),
2513–2531
On a question of Krajewski's
J. Symb. Log.
,
84
:1 (2019),
343–358
©
МИАН
, 2025