{"id":"arxiv/2601.20057","url":"https://arxiv.org/abs/2601.20057","tags":["math.LO"],"score":0,"title":"Foundations with Imagination","domain":"math.LO","source":"arxiv","authors":["Toby Meadows"],"reviews":0,"subject":"math.LO","summary":"We show that countable set theory, $ZFC^{-}+\\forall x\\ |x|\\leqω$, is unable to eliminate imaginaries. In other words, this theory cannot provide representatives for arbitrary definable equivalence relations. We also see that $ZFC^{-}$ and ZFC^{-}+\\existsκ(Inacc(κ)\\wedge\\forall x\\ |x|\\leqκ)$ also fail to eliminate imaginaries.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-27","reactions":{}}