Atomic toposes, choice spectra and model-theoretic stability

Takayuki Kihara

En palabras de los autores

For a suitable class of structures $K$ , let $Sh (K_{λ}^{op}, J_{at})$ denote the atomic sheaf topos over the opposite of the category $K_{λ}$ of structures in $K$ of cardinality at most $λ$ , with embeddings as morphisms. In this article, we analyze the relationship between model-theoretic properties of $K$ and logical properties of $Sh (K_{λ}^{op}, J_{at})$ . For an infinite cardinal $λ$ , we show that $K$ is Galois $λ$ -stable if and only if the atomic sheaf topos $Sh (K_{λ}^{op}, J_{at})$ satisfies the axiom of choice for $λ^{+}$ -indexed families. We further show that every structure in $K_{λ}$ extends to a maximal structure if and only if $Sh (K_{λ}^{op}, J_{at})$ satisfies the internal axiom of choice. If $K_{fin}$ is a class of finite structures, the cardinalities of the structures in each connected component of $K_{fin}$ have a finite upper bound if and only if $Sh (K_{fin}^{op}, J_{at})$ satisfies the internal axiom of (countable) choice. Furthermore, via the topological Galois representation, we establish a correspondence between the criteria for the axiom of choice for atomic sheaf toposes and those for permutation models in set theory.

Resultado principalEl resumen no menciona limitaciones.

Atomic toposes, choice spectra and model-theoretic stability

En palabras de los autores

Más de Otra matemática ese día

A variational approach for the 2D Abelian Yang-Mills-Higgs measure

Mathematics Graduate Training in the Age of AI

Double-wells in a strong magnetic field: absence of tunneling for infinitely many values of the coupling constant

A variational model of nonlinear poroelasticity

Topological isomorphism of procountable groups is universal analytic