В. О. Лобовиков, «Гильбертовская концепция „существования в математике“ и ее моделирование формальной аксиоматической теорией Ф+⁆, рассматривающей существование не как квантор, а как модальность (на англ.)», RL, т. 5, вып. 1, сс. 16–50, мар. 2024.