A new kind of anti-foundation axioms
Among the four well-known anti-foundation axioms, $\mathsf{BAFA}$, $\mathsf{FAFA}$, $\mathsf{SAFA}$, and $\mathsf{AFA}$, the latter three are all special cases of $\mathsf{AFA}^\sim$ ($\sim$ is one of the regular bisimulations). In this paper, we generalize it to $\mathsf{AFA}^\sim$ ($\sim$ is regular and has the so-called set property), and show that this generalization is substantial by constructing new anti-foundation axioms.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.21682
curl -X POST /api/v1/records/arxiv/2608.21682/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.21682/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'