Related papers: Logic for metric structures and the number of univ…

Different group structures which underline the integrable systems are considered. In some cases, the quantization of the integrable system can be provided with substituting groups by their quantum counterparts. However, some other group…

We answer a question of Moore by building a forcing extension satisfying measuring together with CH. The construction works over any model of ZFC and can be described as a forcing iteration with countable structures as side conditions and…

We derive the expressions for canonical energy, momentum, and angular momentum for multiple metric theories. We prove that although the metric fields are generally interacting, the total energy is the sum of conserved energies corresponding…

Given a 2-manifold, a fundamental question to ask is which groups can be realized as the isometry group of a Riemannan metric of constant curvature on the manifold. In this paper, we give a nearly complete classification of such groups for…

For sufficiently nice families of semigroups and monoids, the structure theorem for sets of length states that the length set of any sufficiently large element is an arithmetic sequence with some values omitted near the ends. In this paper,…

We observe that the notion of two sets being equal up to finitely many elements is a homotopy equivalence relation in a model category, and suggest a homotopy-invariant variant of Generalised Continuum Hypothesis about which more can be…

We show that in general for a given group the structure of a maximal hyperbolic tower over a free group is not canonical: We construct examples of groups having hyperbolic tower structures over free subgroups which have arbitrarily large…

We describe the groups that have the same holomorph as a finite perfect group. Our results are complete for centerless groups. When the center is non-trivial, some questions remain open. The peculiarities of the general case are illustrated…

This is my PhD Thesis, part of it has published in Acta Mathematica Sinica. In this paper, a class of morphisms which have a kind of singularity weaker than normal crossing is considered. We construct the obstruction such that the so-called…

We show that a version of L\'opez-Escobar's theorem holds in the setting of logic for metric structures. More precisely, let $\mathbb{U}$ denote the Urysohn sphere and let $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ be the space of metric…

We give a general procedure for constructing metric spaces from systems of partitions. This generalises and provides analogues of Sageev's construction of dual CAT(0) cube complexes for the settings of hyperbolic and injective metric…

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…

The persistent challenge of formulating ontic structuralism in a rigorous manner, which prioritizes structures over the entities they contain, calls for a transformation of traditional logical frameworks. I argue that Univalent Foundations…

We prove completeness for the main examples of infinite-dimensional Lie groups and some related topological groups.

We define a notion of entropy for an infinite family $\mathcal{C}$ of measurable sets in a probability space. We show that the mean ergodic theorem holds uniformly for $\mathcal{C}$ under every ergodic transformation if and only if…

If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…

We prove asymptotically isometric, coarsely geodesic metrics on a toral relatively hyperbolic group are coarsely equal. The theorem applies to all lattices in SO(n,1). This partly verifies a conjecture by Margulis. In the case of hyperbolic…

It is proved that the continuum hypothesis implies the existence of a group M containing a nonalgebraic unconditionally closed set, i.e., a set which is closed in any Hausdorff group topology on M but is not an intersection of finite unions…

We establish a structure theorem for rational maps $f:\overline{\mathbb{C}}\to\overline{\mathbb{C}}$: the pullback metric $f^{*}{\rm d}s_{0}^{2}$ of the standard metric ${\rm d}s_{0}^{2}$ admits a canonical decomposition into finitely many…

We combine continuous and integral logics and found a logical framework for metric measure spaces equipped with a family of continuous relations and operations. We prove the ultraproduct theorem and deduce compactness and other usual…