Related papers: An Initial Algebra Theorem Without Iteration
We prove an analog of the disintegration theorem for tracial von Neumann algebras in the setting of elementary equivalence rather than isomorphism, showing that elementary equivalence of two direct integrals implies fiberwise elementary…
In this paper, we introduce the concept of filter on IL-algebra. It is proved that this concept generalizes the notion of filter on Residuated Lattices. Prime filters on IL-algebra are defined and few interesting properties are obtained. It…
We give a simple proof of Kolmogorov's theorem on the persistence of a quasiperiodic invariant torus in Hamiltonian systems. The theorem is first reduced to a well-posed inversion problem (Herman's normal form) by switching the frequency…
Kolmogorov's invariant torus theorem is proved using a simple fixed point theorem.
Both the original Temperley-Lieb algebras $\mathsf{TL}_{n}$ and their dilute counterparts $\mathsf{dTL}_{n}$ form families of filtered algebras: $\mathsf{TL}_{n}\subset \mathsf{TL}_{n+1}$ and $\mathsf{dTL}_{n}\subset\mathsf{dTL}_{n+1}$, for…
In this paper we investigate fixed-point numbers and entropies of endomorphisms on abelian varieties. It was shown quite recently that the number of fixed-points of an iterated endomorphism on a simple complex torus is either periodic or…
Let $f:X\to X$ be a non-isomorphic (i.e., $\text{deg } f>1$) surjective endomorphism of a smooth projective threefold $X$. We prove that any birational minimal model program becomes $f$-equivariant after iteration, provided that $f$ is…
Let $K$ be an algebraically closed field that is complete with respect to a non-Archimedean absolute value, and let $\varphi\in K(z)$ have degree $d\geq 2$. We characterize maps for which the minimal resultant of an iterate $\varphi^n$ is…
We advance the program of connections between final coalgebras as sources of circularity in mathematics and fractal sets of real numbers. In particular, we are interested in the Sierpinski carpet, taking it as a fractal subset of the unit…
In this paper, we show how a construction of an implicit complexity model can be implemented using concepts coming from the core of von Neumann algebras. Namely, our aim is to gain an understanding of classical computation in terms of the…
In this paper, we continue the study of a left-distributive algebra of elementary embeddings from the collection of sets of rank less than lambda to itself, as well as related finite left-distributive algebras (which can be defined without…
General mathematical reasoning is computationally undecidable, but humans routinely solve new problems. Moreover, discoveries developed over centuries are taught to subsequent generations quickly. What structure enables this, and how might…
The goal of this paper is to present an algebraic approach to the basic results of the theory of linear recurrence relations. This approach is based on the ideas from the theory of representations of one endomorphisms (a special case of…
Tensoring with type I algebras preserves elementary equivalence in the category of tracial von Neumann algebras. The proof involves a novel and general Feferman--Vaught-type theorem for direct integrals of metric structures.
For each Turing machine T, we construct an algebra A'(T) such that the variety generated by A'(T) has definable principal subcongruences if and only if T halts, thus proving that the property of having definable principal subcongruences is…
We associate a $C^*$-algebra to a partial action of the integers acting on the base space of a vector bundle, using the framework of Cuntz--Pimsner algebras. We investigate the structure of the fixed point algebra under the canonical gauge…
Ufnarovski remarked in 1990 that it is unknown whether any finitely presented associative algebra of linear growth is automaton, that is, whether the set of normal words in the algebra form a regular language. If the algebra is graded, then…
We prove that if A is a finite algebra with a parallelogram term that satisfies the split centralizer condition, then A is dualizable. This yields yet another proof of the dualizability of any finite algebra with a near unanimity term, but…
We establish an ideal-theoretic rigidity principle for quadratic distance images over integer residue rings. Specifically, we prove that near-extremal collapse of the distance set in $\mathbb{Z}_n^d$ forces strong algebraic structure…
After defining a notion of $\epsilon$-density, we provide for any real algebraic number $\alpha$ an estimate of the smallest $\epsilon$ such that for each $m>1$ the set of vectors of the form $(t,t\alpha,...,t\alpha^{m-1})$ for $t\in\R$ is…