22 citations · 32 across the 11 of their papers we have counts for
Showing 2018 · cs.LOShow all
2 papers · 2 filters
cs.LO2018
Equivariant ZFA with Choice: a position paper
Murdoch J. Gabbay
We propose Equivariant ZFA with Choice as a foundation for nominal techniques that is stronger than ZFC and weaker than FM, and why this may be particularly helpful in the context…
cs.LO2018
Equivariant ZFA and the foundations of nominal techniques
Murdoch J. Gabbay
We give an accessible presentation to the foundations of nominal techniques, lying between Zermelo-Fraenkel set theory and Fraenkel-Mostowski set theory, and which has several nice…