Abstract:Anti-elementarity is a strong way of ensuring that a class of structures , in a given first-order language, is not closed under elementary equivalence with respect to any infinitary language of the form L $\infty$$\lambda$. We prove that many naturally defined classes are anti-elementary, including the following: $\bullet$ the class of all lattices of finitely generated convex {\ell}-subgroups of members of any class of {\ell}-groups containing all Archimedean {\ell}-groups; $\bullet$ the class of all semilattices of finitely generated {\ell}-ideals of members of any nontrivial quasivariety of {\ell}-groups; $\bullet$ the class of all Stone duals of spectra of MV-algebras-this yields a negative solution for the MV-spectrum Problem; $\bullet$ the class of all semilattices of finitely generated two-sided ideals of rings; $\bullet$ the class of all semilattices of finitely generated submodules of modules; $\bullet$ the class of all monoids encoding the nonstable $K_0$-theory of von Neumann regular rings, respectively C*-algebras of real rank zero; $\bullet$ (assuming arbitrarily large Erd"os cardinals) the class of all coordinatizable sectionally complemented modular lattices with a large 4-frame. The main underlying principle is that under quite general conditions, for a functor $\Phi$ : A $\rightarrow$ B, if there exists a non-commutative diagram D of A, indexed by a common sort of poset called an almost join-semilattice, such that $\bullet$ $\Phi$ D^I is a commutative diagram for every set I, $\bullet$ $\Phi$ D is not isomorphic to $\Phi$ X for any commutative diagram X in A, then the range of $\Phi$ is anti-elementary.

Symmetry in abstract elementary classes with amalgamation

Saturation and solvability in abstract elementary classes with amalgamation

On Stability and Existence of Models in Abstract Elementary Classes

Amalgamation and Symmetry: From Local to Global Consistency in The Finite

A Topology for Galois Types in AECs

Symmetry in the cubical Joyal model structure

Symmetries as Isomorphisms

Monoidal Symmetric Models

From non-commutative diagrams to anti-elementary classes

An Analysis of Symmetry in Quantitative Semantics

Anomalies of $(1+1)D$ categorical symmetries

The Edinburgh/Durham Southern Galaxy Catalogue - IX. The Galaxy Catalogue

Anomaly and invertible field theory with higher-form symmetry: Extended group cohomology

Noetherianity up to symmetry

The equivariant model structure on cartesian cubical sets

Pairs of partial orders and the amalgamation property

On symmetry and duality

Building models in small cardinals in local abstract elementary classes

On Dextral Symmetric Algebra

On a class of fusion 2-category symmetry: condensation completion of braided fusion category

Categoricity and solvability of A.E.C., quite highly