Equivariant ZFA with Choice: a position paper
classification
💻 cs.LO
math.LO
keywords
choiceequivariantautomatedcontextfoundationhelpfulnominalparticularly
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.