Button, Tim;
(2024)
Wand/set theories: a realization of Conway's Mathematicians' Liberation Movement, with an application to Church's set theory with a universal set.
The Journal of Symbolic Logic
10.1017/jsl.2024.21.
(In press).