Equivariant ZFA with Choice: a position paper

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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 languageEnglish
Title of host publicationProceedings of the 25th Automated Reasoning Workshop
Subtitle of host publication Bridging the Gap between Theory and Practice
EditorsMateja Jamnik, Angeliki Koutsoukou-Argyraki, Edward Ayers, Chaitanya Mangla
Number of pages2
Publication statusPublished - 12 Apr 2018


Dive into the research topics of 'Equivariant ZFA with Choice: a position paper'. Together they form a unique fingerprint.

Cite this