Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere. Very Weak, Essentially Undecidabile Set Theories. In Stefania Monica, Federico Bergenti, editors, Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021. Volume 3002 of CEUR Workshop Proceedings, pages 31-46, CEUR-WS.org, 2021. [doi]
Abstract is missing.