{"id":"arxiv/2609.21111","url":"https://arxiv.org/abs/2609.21111","tags":["math.LO","math.CT"],"score":0,"title":"Atomic toposes, choice spectra and model-theoretic stability","domain":"math.LO","source":"arxiv","authors":["Takayuki Kihara"],"reviews":0,"subject":"math.LO","summary":"For a suitable class of structures $\\mathcal{K}$, let ${\\rm Sh}(\\mathcal{K}_λ^{\\rm op},J_{\\rm at})$ denote the atomic sheaf topos over the opposite of the category $\\mathcal{K}_λ$ of structures in $\\mathcal{K}$ of cardinality at most $λ$, with embeddings as morphisms. In this article, we analyze the relationship between model-theoretic properties of $\\mathcal{K}$ and logical properties of ${\\rm Sh}(\\mathcal{K}_λ^{\\rm op},J_{\\rm at})$. For an infinite cardinal $λ$, we show that $\\mathcal{K}$ is Galois $λ$-stable if and only if the atomic sheaf topos ${\\rm Sh}(\\mathcal{K}_λ^{\\rm op},J_{\\rm…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}