Related papers: Classification of $\aleph_0$-categorical $C$-minim…

Recently, regular Cayley maps of cyclic groups and dihedral groups have been classified. A nature question is to classify regular Cayley maps of elementary abelian $p$-groups $Z_p^n$. In this paper, a complete classification of regular…

The category of models of any theory $T$ in any first-order language $L$ has the surprising property that any small category that is elementarily equivalent with it, already embeds in it. The proof uses an abstract argument via ultrapowers,…

We classify unital monomorphisms into certain simple Z-stable C^*-algebras up to approximate unitary equivalence. The domain algebra C is allowed to be any unital separable commutative C^*-algebra, or any unital simple separable nuclear…

We give a classification of nullity classes (or torsion classes) in an abelian category by forming a spectrum of equivalence classes of premonoform objects. This is parallel to Kanda's classification of Serre subcategories.

We first consider three well-known chain conditions in the space of marked groups: the minimal condition on centralizers, the maximal condition on subgroups, and the maximal condition on normal subgroups. For each condition, we produce a…

We geometrically describe the relation induced on a set of graphs by isomorphism of their associated graph C*-algebras as the smallest equivalence relation generated by five types of moves. The graphs studied have finitely many vertices and…

We deal with stability theory for ``reasonable'' non-elementary classes without any remanents of compactness (like: above Hanf number or definable by L_{omega_1, omega}).

We prove that every categorical model of dependent type theory with dependent sums and products, intensional identity types and univalent universes presents via its $\infty$-localisation an elementary $\infty$-topos, that is, a finitely…

We perform the analytic classification of plane branches of multiplicity less or equal than four.

We give a description of elementary subgroups (in the sense of first-order logic) of finitely generated virtually free groups. In particular, we recover the fact that elementary subgroups of finitely generated free groups are free factors.…

This report aims at giving a general overview on the classification of the maximal subgroups of compact Lie groups (not necessarily connected). In the first part, it is shown that these fall naturally into three types: (1) those of trivial…

A classification is given of certain separable nuclear C*-algebras not necessarily of real rank zero, namely, the class of separable simple C*-algebras which are inductive limits of continuous-trace C*-algebras whose building blocks have…

We study a particular category ${\cal{C}}$ of $\gl_{\infty}$-modules and a subcategory ${\cal{C}}_{int}$ of integrable $\gl_{\infty}$-modules. As the main results, we classify the irreducible modules in these two categories and we show that…

As the prototypical category, $\mathbf{Set}$ has many properties which make it special amongst categories. From the point of view of mathematical logic, one such property is that $\mathbf{Set}$ has enough structure to "properly" formalise…

We classify group gradings on the simple Lie algebras of types $G_2$ and $D_4$ over the field of real numbers (or any real closed field): fine gradings up to equivalence and $G$-gradings, with a fixed group $G$, up to isomorphism.

We examine the use of classes to formulate several categorical notions. This leads to two proposals: an explicit structure for working with subobjects, and a hierarchy of $k$-classes. We apply the latter to both ordinary and higher…

We show that it is consistent with ordinary set theory ZFC and the generalized continuum hypothesis that there exist two separable abelian groups of cardinality aleph_1 which are filtration equivalent and one is a Whitehead group but the…

For any length category, we establish a set of rules (necessary and sufficient) that ensure a partial order on the isomorphism classes of simple objects such that the category is equivalent to the category of finite dimensional…

We present a classification theorem for a class of unital simple separable amenable ${\cal Z}$-stable $C^*$-algebras by the Elliott invariant. This class of simple $C^*$-algebras exhausts all possible Elliott invariant for unital stably…

For a given class $\mathcal{F}$ of closed sets of a measured metric space $(E,d,\mu)$, we want to find the smallest element $B$ of the class $\mathcal{F}$ such that $\mu(B)\geq 1-\alpha$, for a given $0<\alpha<1$. This set $B$…