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|