Equivariant ZFA and the foundations of nominal techniques
arXiv:1801.09443 · doi:10.1093/logcom/exz015
Abstract
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 properties including being consistent with the Axiom of Choice. We give two presentations of equivariance, accompanied by detailed yet user-friendly discussions of its theoretical significance and practical application.