Equivariant ZFA with Choice: a position paper

03/23/2018
by   Murdoch J. Gabbay, et al.
0

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 of automated reasoning.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset