Ergodicity as an obstruction to classification by higher-rank invariants

Assaf Shani

Home/Archive/arXiv

arXiv · 2610.40440

Ergodicity as an obstruction to classification by higher-rank invariants

Assaf Shani

View original source ↗Read source document ↗Export metadata ↓

Abstract

Given a collection of mathematical objects and a natural notion of equivalence (such as isomorphism), we want to find a complete classification. This paper presents methods for proving anti-classification results, that is, when a complete classification is not possible using certain classifying invariants. The problem of using real numbers as classifying invariants is well understood. In this case, the obstruction to classifiability is ergodicity. We consider classifiability by higher rank objects, such as countable sets of real numbers, and present a simple ergodicity-like obstruction for classifiability. This method is particularly useful when applied in various models of ZF where even weak fragments of the axiom of choice fail.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Assaf Shani. 2026-10-29. Ergodicity as an obstruction to classification by higher-rank invariants. https://arxiv.org/abs/2610.40440

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Aspects of Muchnik's paradox in restricted betting

Muchnik's paradox says that enumerable betting strategies are not always reducible to enumerable strategies whose bets are restricted to either even rounds or odd rounds. In other words, there are outcome sequences x where an effectively enumerable strategy succeeds, but no such parity-restricted effectively enumerable strategy does. We characterize the effective Hausdorff dimension of such $x$, showing that it can be as low as 1/2 but not less. We also show that such reals that are random with respect to parity-restricted effectively enumerable strategies with packing dimension as low as $\log\sqrt3$. Finally we exhibit Muchnik's paradox in the case of computable integer-valued strategies.

math.LO↗

arXiv2026

Simple Models of Randomization and Preservation Theorems

The main purpose of this paper is to provide new, more uniform model-theoretic and combinatorial proofs of the preservation theorems established in [5] and [8]. More precisely, we show that randomization preserves both $NIP$ and stability: if a first-order theory $T$ has $NIP$, then so does $T^R$, and if $T$ is stable, then so is $T^R$. Our proofs rely on the systematic use of simple models of $T^R$ and quantitative combinatorial methods. In the $NIP$ case, we use indiscernible arrays and Rademacher mean width, whereas in the stable case, we use a Ramsey lemma for cross-blocks and sequential Rademacher mean width. Using simple models of $T^R$ has the advantage of allowing us to re-prove these theorems in a simpler and quantitative manner. We finally turn our attention to $NSOP$ in randomization. We show that based on the definition of $NSOP$ given in [14], $T^R$ is stable if and only if it is $NIP$ and $NSOP$.

math.LO↗

arXiv2026

Generalization of terms via universal algebra

We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety associated to the considered equational theory. We prove that the generality poset of a problem and its type (i.e., the cardinality of a complete set of least general solutions) can be studied in this algebraic setting. Moreover, we identify a class of varieties where the study of the generality poset can be fully reduced to the study of the congruence lattice of the 1-generated free algebra. We apply our results to varieties of algebras and to (algebraizable) logics. In particular we obtain several examples of unitary type: abelian groups; commutative monoids and commutative semigroups; all varieties whose 1-generated free algebra is trivial, e.g., lattices, semilattices, varieties without constants whose operations are idempotent; Boolean algebras, Kleene algebras, and Gödel algebras, which are the equivalent algebraic semantics of, respectively, classical, 3-valued Kleene, and Gödel-Dummett logic. Finally, we prove that the variety of MV-algebras, the equivalent algebraic semantics of Lukasiewicz logic, has nullary type.

math.LO↗