Fedor Pakhomov, Albert Visser, “Finitely axiomatized theories lack self-comprehension”, Bull. Lond. Math. Soc., 2022, Volume 54, Issue 6,Pages <nobr>2513–2531</nobr>

RUS ENG

JOURNALS // Bulletin of the London Mathematical Society // Archive

Bull. Lond. Math. Soc., 2022, Volume 54, Issue 6, Pages 2513–2531 (Mi blms5)

This article is cited in 2 papers

Finitely axiomatized theories lack self-comprehension

Fedor Pakhomov^ab, Albert Visser^c

^a Vakgroep Wiskunde: Analysis, Logic and Discrete Mathematics, Ghent University, Ghent, Belgium
^b Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia
^c Philosophy, Faculty of Humanities, Utrecht University, Utrecht, The Netherlands

Language: English

DOI: 10.1112/blms.12708

Cited by

Bibliographic databases:

ArXiv: 2109.02548

© Steklov Math. Inst. of RAS, 2024