Equivariant ZFA and the foundations of nominal techniques
Murdoch J. Gabbay · Journal of Logic and Computation · 2019
Abstract We give an accessible presentation to the foundations of nominal techniques, lying between Zermelo–Fraenkel set theory and Fraenkel–Mostowski set theory, which has several nice properties including being consistent with the Axiom of Choice. We give two presentations of equivariance, accompanied by detailed yet user-friendly discussions of its theory and application.