35 citations · 124 across the 25 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 1 cited
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★ 3 cited
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…