Related papers: Low$_2$ computably enumerable sets have hyperhyper…

We start by reviewing the relation between toposes and Grothendieck quantales. We improve results of previous work on this relation by giving both a characterisation of the map from the tensor product of two internal sup-lattices to another…

It is shown that the lattices of flats of boolean representable simplicial complexes are always atomistic, but semimodular if and only if the complex is a matroid. A canonical construction is introduced for arbitrary finite atomistic…

Motivated by advances in categorical probability, we introduce non-commutative almost everywhere (a.e.) equivalence and disintegrations in the setting of C*-algebras. We show that C*-algebras (resp. W*-algebras) and a.e. equivalence classes…

We give two characterizations of tracially nuclear C*-algebras. The first is that the finite summand of the second dual is hyperfinite. The second is in terms of a variant of the weak* uniqueness property. The necessary condition holds for…

Nuclear $C^*$-algebras having a system of completely positive approximations formed with convex combinations of a uniformly bounded number of order zero summands are shown to be approximately finite dimensional.

In this paper we formulate a conjecture about the minimal dimensional representations of the finite $W$-superalgebra $U(\mathfrak{g}_\bbc,e)$ over the field of complex numbers and demonstrate it with examples including all the cases of type…

Finite semisimple group algebras for which all the minimal ideals are easily computable dimension (ECD) are characterized and some lower bounds for the minimum Hamming distance of group codes in these algebras are offered. Examples…

We prove that every clone of operations on a finite set A, if it contains a Malcev operation, is finitely related -- i.e., identical with the clone of all operations respecting R for some finitary relation R over A. It follows that for a…

We show that there are Turing complete computably enumerable sets of arbitrarily low non-trivial initial segment prefix-free complexity. In particular, given any computably enumerable set $A$ with non-trivial prefix-free initial segment…

We show that, if A is a separable simple unital C*-algebra which absorbs the Jiang-Su algebra Z tensorially and which has real rank zero and finite decomposition rank, then A is tracially AF in the sense of Lin, without any restriction on…

The local $h^*$-polynomial is a natural invariant of a lattice polytope appearing in Ehrhart theory and Hodge theory. In this work, we study the question posed in [GKZ94] concerning the classification of lattice simplices with vanishing…

A set is introreducible if it can be computed by every infinite subset of itself. Such a set can be thought of as coding information very robustly. We investigate introreducible sets and related notions. Our two main results are that the…

Let d \subset d' be finite-dimensional Lie algebras, H = U(d), H'=U(d') the corresponding universal enveloping algebras endowed with the cocommutative Hopf algebra structure. We show that if L is a primitive Lie pseudoalgebra over H then…

In 2016, I solved a problem of de la Harpe in 2006: Is there a non-discrete C*-simple group? However the solution was not fully satisfactory as the provided C*-simple groups (and their operator algebras) are very close to discrete groups.…

We investigate the connections between order and algebra in the hereditary C*-subalgebra lattice $\mathcal{H}(A)$ and *-annihilator ortholattice $\mathscr{P}(A)^\perp$. In particular, we characterize $\vee$-distributive elements of…

Let A be a unital separable simple C*-algebra such that either (1) A has real rank zero, strict comparison and cancellation or (2) A is TAI. We study the kernel of the de la Harpe--Skandalis determinant on GL^0(A), proving that the…

In this paper we give an alternative construction using Monk like algebras that are binary generated to show that the class of strongly representable atom structures is not elementary. The atom structures of such algebras are cylindric…

A $\Sigma^*$-algebra is a concrete $C^*$-algebra that is sequentially closed in the weak operator topology. We study an appropriate class of $C^*$-modules over $\Sigma^*$-algebras analogous to the class of $W^*$-modules (selfdual…

We consider the finite W-superalgebras for a basic classical Lie superalgebra g associated with an even nilpotent element in g both over the field of complex numbers field and and over a filed of positive characteristic. We present the PBW…

We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with…