Finitely axiomatized theories lack self-comprehension
Fedor Pakhomov, Albert Visser

Эта публикация цитируется в следующих статьяx:

1. Leszek Aleksander Kołodziejczyk, Tin Lok Wong, Keita Yokoyama, “Ramsey's theorem for pairs, collection, and proof size”, J. Math. Log., 24:02 (2024)  
2. J. P. Aguilera, F. Pakhomov, A. Weiermann, “Modern perspectives in Proof Theory”, Philos. Trans. R. Soc. A, 381 (2023), 20220020–11