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

In a recent paper Uffe Haagerup and Kristian Knudsen Olesen show that for Richard Thompson's group $T$, if there exists a finite set $H$ which can be decomposed as disjoint union of sets $H_1$ and $H_2$ with $\sum_{g\in…

We prove that the C*-algebra of a second-countable, \'etale, amenable groupoid is simple if and only if the groupoid is topologically principal and minimal. We also show that if G has totally disconnected unit space, then the associated…

We study the implications of model completeness of a theory for the effectiveness of presentations of models of that theory. It is immediate that for a computable model $\mathcal A$ of a computably enumerable, model complete theory, the…

A subset $\mathcal X$ of a C*-algebra $\mathcal A$ is called irredundant if no $A\in \mathcal X$ belongs to the C*-subalgebra of $\mathcal A$ generated by $\mathcal X\setminus \{A\}$. Separable C*-algebras cannot have uncountable…

In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets $A_{i}$ with effectively summable measures, there are…

A longstanding open problem in lambda calculus is whether there exist continuous models of the untyped lambda calculus whose theory is exactly the least lambda-theory lambda-beta or the least sensible lambda-theory H (generated by equating…

In this paper some results on the Lie structure of prime superalgebras are discussed. We prove that, with the exception of some special cases, for a prime superalgebra, $A$, over a ring of scalars $\Phi$ with $1/2\in \Phi$, if $L$ is a Lie…

We say that an indecomposable Cartan matrix A with entries in the ground field of characteristic 0 is almost affine if the Lie sub(super)algebra determined by it is not finite dimensional or affine but the Lie (super)algebra determined by…

Let $\bullet^{\dag}$ be the map in sense of the Losev, which sends the set of two sided ideals of a finite W-algebras to that of the universal enveloping algebra of corresponding Lie algebras. The Premet conjecture which was proved in…

It was shown by Abe, Buhl and Dong that the vertex algebra $V_L^+$ and its irreducible weak modules satisfy the $C_2$-cofiniteness condition when $L$ is a positive definite even lattice. In this paper, we extend their results by showing…

Let G be a semisimple complex algebraic group, and H a wonderful subgroup of G. We prove several results relating the subgroup H to the properties of a combinatorial invariant S of G/H, called its spherical system. It is also possible to…

We show that group C*-algebras of finitely generated, nilpotent groups have finite nuclear dimension. It then follows, from a string of deep results, that the C*-algebra $A$ generated by an irreducible representation of such a group has…

A finite-dimensional Lie algebra $L$ over a field $F$ is called an $A$-algebra if all of its nilpotent subalgebras are abelian. This is analogous to the concept of an $A$-group: a finite group with the property that all of its Sylow…

We consider the finite $W$-algebra $U(\g,e)$ associated to a nilpotent element $e \in \g$ in a simple complex Lie algebra $\g$ of exceptional type. Using presentations obtained through an algorithm based on the PBW-theorem, we verify a…

Hom-Lie superalgebras, which can be considered as a deformation of Lie superalgebras, are $\mathbb{Z}_2$-graded generalization of Hom-Lie algebras. In this paper, we prove that there is only the trivial Hom-Lie superalgebra structure over a…

Motivated by the theory of unitary representations of finite dimensional Lie supergroups, we describe those Lie superalgebras which have a faithful finite dimensional unitary representation. We call these Lie superalgebras unitary. This is…

We study the structure of certain classes of homologically trivial locally C*-algebras. These include algebras with projective irreducible Hermitian A-modules, biprojective algebras, and superbiprojective algebras. We prove that, if A is a…

Let $\Gamma$ be an abelian group and $g \geq h \geq 2$ be integers. A set $A \subset \Gamma$ is a $C_h[g]$-set if given any set $X \subset \Gamma$ with $|X| = k$, and any set $\{ k_1 , \dots , k_g \} \subset \Gamma$, at least one of the…

A group is said to be C*-simple if its reduced C*-algebra is simple. We establish an intrinsic (group-theoretic) characterization of groups with this property. Specifically, we prove that a discrete group is C*-simple if and only if it has…

Let X be a path connected, compact metric space and let A be a unital separable simple nuclear Z-stable real rank zero C*-algebra. We classify all the unital *-embeddings (up to approximate unitary equivalence) of C(X) into A. Specifically,…