Adlešić, Tin, and Vedran Čačić. “The Cardinal Squaring Principle and an Alternative Axiomatization of NFU”. Bulletin of the Section of Logic 52, no. 4 (September 28, 2023): 551–581. Accessed March 13, 2025. https://czasopisma.uni.lodz.pl/bulletin/article/view/14771.