Related papers: On the $c_0$-extension property for compact lines

Let $Z$ be a fixed separable operator space, $X\subset Y$ general separable operator spaces, and $T:X\to Z$ a completely bounded map. $Z$ is said to have the Complete Separable Extension Property (CSEP) if every such map admits a completely…

We investigate iterating the construction of $C^{*}$, the $L$-like inner model constructed using first order logic augmented with the "cofinality $\omega$" quantifier. We first show that $\left(C^{*}\right)^{C^{*}}=C^{*}\ne L$ is…

We study a natural generalization of covering projections defined in terms of unique lifting properties. A map $p:E\to X$ has the "continuous path-covering property" if all paths in $X$ lift uniquely and continuously (rel. basepoint) with…

We consider operators on $L^2$ spaces that expand the support of vectors in a manner controlled by some constraint function. The primary objects of study are $\mathrm C^*$-algebras that arise from suitable families of constraints, which we…

We study codimension growth of infinite dimensional Lie algebras over a field of characteristic zero. We prove that if a Lie algebra $L$ is an extension of a nilpotent algebra by a finite dimensional semisimple algebra then the PI-exponent…

By recent work on some conjectures of Pillay, each definably compact group in a saturated o-minimal structure is an expansion of a compact Lie group by a torsion free normal divisible subgroup, called its infinitesimal subgroup. We show…

We characterize the lifting property (LP) of a separable $C^*$-algebra $A$ by a property of its maximal tensor product with other $C^*$-algebras, namely we prove that $A$ has the LP if and only if for any family $(\{D_i\mid i\in I\}$ of…

We investigate the statement "the order topology of every countable complete linear order is compact" in the framework of reverse mathematics, and we find that the statement's strength depends on the precise formulation of compactness. If…

Let $\xi:C^*(E)\to C^*(F)$ be a unital $*$-homomorphism between simple purely infinite Cuntz-Krieger algebras of finite graphs. We prove that there exists a unital $*$-homomorphism $\phi:L(E)\to L(F)$ between the corresponding Leavitt…

In this paper, we countinue our work in \cite{11}. We show that $L^{1}(G,w)$ is $\phi_{0}$-biprojective if and only if $G$ is compact, where $\phi_{0}$ is the augmentation character. We introduce the notions of character Johnson amenability…

We show that for every $d\ge 1$, if $L_1,\ldots, L_d$ are linearly ordered compact spaces and there is a continuous surjection \[ L_1\times L_2\times \dots\times L_d\to K_1\times K_2\times\ldots\times K_{d}\times K_{d+1},\] where all the…

We consider a compact $C^\omega$ manifold $X$ and finitely many regular $C^\omega$ submanifolds $Y_1, \dots, Y_q$ of $X$, which are closed subsets in $X$, such that the union of $Y_j$'s has only normal crossings. We show that every…

In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…

We introduce and study soficity for Lie algebras, modelled after linear soficity in associative algebras. We introduce equivalent definitions of soficity, one involving metric ultraproducts and the other involving almost representations. We…

Extensions of Lie algebras equipped with Sasakian or Frobenius-K\"ahler geometrical structures are studied. Conditions are given so that a double extension of a Sasakian Lie algebra be Sasakian again. Conditions are also given for obtaining…

A characteristic property of cohomology with compact support is the long exact sequence that connects the compactly supported cohomology groups of a space, an open subspace and its complement. Given an arbitrary cohomology theory of…

We observe that many of the separation axioms of topology (including $T_0-T_4$) can be expressed concisely and uniformly in terms of category theory as lifting properties (in the sense of Quillen model categories) with respect to (usually…

The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous…

We present a novel approach to the construction of new finite algebras and describe the congruence lattices of these algebras. Given a finite algebra $(B_0, \dots)$, let $B_1, B_2, \dots, B_K$ be sets that either intersect $B_0$ or…

A surjective endomorphism or, more generally, a polymorphism in the sense of \cite{SV}, of a compact abelian group $H$ induces a transformation of $L^2(H)$. We study the C*-algebra generated by this operator together with the algebra of…