{"id":"arxiv/2606.02898","url":"https://arxiv.org/abs/2606.02898","tags":["math.LO","math.GR"],"score":0,"title":"Canonical reconstruction and forcing absoluteness of standard structures","domain":"math.LO","source":"arxiv","authors":["Tomasz Kania"],"reviews":0,"subject":"math.LO","summary":"We isolate a simple preservation principle governing when it is absolute, between transitive models of set theory, that a given algebraic or topological-algebraic structure has a standard form $F(X)$ indexed by a set $X$. The principle is: if the index $X$ (or a proxy for it) can be recovered from $F(X)$ by a uniform definable construction, then the class of structures isomorphic to some~$F(X)$ is downward absolute from forcing extensions. Answering a question raised by Noah Schweber, we deduce in particular that no group that fails to be a full symmetric group in the ground model can become…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-01","reactions":{}}