{"id":"arxiv/2606.00861","url":"https://arxiv.org/abs/2606.00861","tags":["math.LO"],"score":0,"title":"The Axiom of Double Complement and its opposites","domain":"math.LO","source":"arxiv","authors":["Hanul Jeon","James E. Hanson"],"reviews":0,"subject":"math.LO","summary":"Powell introduced the Axiom of Double Complement ($\\mathsf{DCom}$) to give his double-negation interpretation of $\\mathsf{ZF}$ into $\\mathsf{IZF_{Rep}}$. However, the consistency, strength, and compatibility of $\\mathsf{DCom}$ remain open problems. This article aims to survey the compatibility and consistency strength of $\\mathsf{DCom}$, its consequence and opposites, which will be named $\\mathsf{NDCom}$ and $\\mathsf{ADCom}$. We will also develop Lubarsky's Kripke models over $\\mathsf{CZF}$ to derive these results. We will show that $\\mathsf{DCom}$ proves the Powerset axiom over…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-30","reactions":{}}