Abstract
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.
| Original language | English |
|---|---|
| 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 |
| Pages | 39-40 |
| Number of pages | 2 |
| Publication status | Published - 12 Apr 2018 |