{"id":"arxiv/2608.21682","url":"https://arxiv.org/abs/2608.21682","tags":["math.LO","math.CO"],"score":0,"title":"A new kind of anti-foundation axioms","domain":"math.LO","source":"arxiv","authors":["Daheng Ju"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-21","reactions":{}}