Related papers: Universal-homogeneous structures are generic

This article is a contribution to the following problem: does there exist a Polish non-archimedean group (equivalently: automorphism group of a Fraisse limit) that is extremely amenable, and has ample generics. As Fraisse limits whose…

We relate the existence problem of universal objects to the properties of corresponding enriched categories (lifts or expansions). In particular, extending earlier results, we prove that for every (possibly infinite) regular set F of finite…

We give strengthened versions of the Herwig-Lascar and Hodkinson-Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinatorial and group-theoretic consequences for homogeneous…

We prove a number of results having to do with equipping type-I $\mathrm{C}^*$-algebras with compact quantum group structures, the two main ones being that such a compact quantum group is necessarily co-amenable, and that if the…

Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same…

For a countable abelian group $G$ we investigate generic properties of the space of all invariant metrics on $G$. We prove that for every such an unbounded group $G$, i.e. group which has elements of arbitrarily high order, there is a dense…

The concept of an omnigenous locally finite group was introduced in [2] as a generalization of Hall's universal countable locally finite group. In this paper we show that the class of all countable omnigenous locally finite groups is Borel…

Using a categorial version of Fra\"iss\'e's theorem due to Droste and G\"obel, we derive a criterion for a comma-category to have universal homogeneous objects. As a first application we give new existence result for universal structures…

We prove that the simplicial cocommutative coalgebra of singular chains on a connected topological space determines the homotopy type rationally and one prime at a time, without imposing any restriction on the fundamental group. In…

We consider interpretable topological spaces and topological groups in a $p$-adically closed field $K$. We identify a special class of "admissible topologies" with topological tameness properties like generic continuity, similar to the…

We study uncountable structures similar to the Fra\"iss\'e limits. The standard inductive arguments from the Fra\"iss\'e theory are replaced by forcing, so the structures we obtain are highly sensitive to the universe of set theory. In…

Let $\mathscr{C}$ be a symmetric tensor category of moderate growth, and let $\mathcal{H}\subseteq\mathcal{G}$ be algebraic groups in $\mathscr{C}$. We prove that the homogeneous space $\mathcal{G}/\mathcal{H}$ exists and is of finite type…

Metrically homogeneous graphs are connected graphs which, when endowed with the path metric, are homogeneous as metric spaces. Here we consider a class of countable metrically homogeneous graphs. The algebra of an age is a concept…

We show that algebraic analogues of universal group covers, surjective group homomorphisms from a $\mathbb{Q}$-vector space to $F^{\times}$ with "standard kernel", are determined up to isomorphism of the algebraic structure by the…

Let $\mathfrak{g}\neq \mathfrak{so}_8$ be a simple Lie algebra of type $A,D,E$ with $\widehat{\mathfrak{g}}$ the corresponding affine Kac-Moody algebra and $\mathfrak{n}_-\subset \widehat{\mathfrak{g}}$ a nilpotent subalgebra. Given…

We develop category-theoretic framework for universal homogeneous objects, with some applications in the theory of Banach spaces, linear orderings, and in topology of compact spaces.

We view ultrametric spaces as two-sorted structures consisting of a set of points and of a linearly ordered set of distances. We call the appropriate notion of embeddings distance-carrying (dc for short). Those are obtained by combining…

We study the approximately finite-dimensional (AF) $C^*$-algebras that appear as inductive limits of sequences of finite-dimensional $C^*$-algebras and left-invertible embeddings. We show that there is such a separable AF-algebra $\mathcal…

We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…

We devise a fairly general sufficient condition ensuring that the endomorphism monoid of a countably infinite ultrahomogeneous structure (i.e. a Fra\"{\i}ss\'{e} limit) embeds all countable semigroups. This approach provides us not only…