Equivariant ZFA and the foundations of nominal techniques

01/29/2018
by   Murdoch J. Gabbay, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset