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.
|Title of host publication||Proceedings of the 25th Automated Reasoning Workshop|
|Subtitle of host publication||Bridging the Gap between Theory and Practice|
|Editors||Mateja Jamnik, Angeliki Koutsoukou-Argyraki, Edward Ayers, Chaitanya Mangla|
|Number of pages||2|
|Publication status||Published - 12 Apr 2018|
Gabbay, J. (2018). Equivariant ZFA with Choice: a position paper. In M. Jamnik, A. Koutsoukou-Argyraki, E. Ayers, & C. Mangla (Eds.), Proceedings of the 25th Automated Reasoning Workshop: Bridging the Gap between Theory and Practice (pp. 39-40) https://www.cl.cam.ac.uk/events/arw2018/arw2018-proc.pdf