1. Karlov B.N. On Undecidability of Subset Theories of Some Unars // Doklady Mathematics. 2024. 18.04.2024.
Подробно