Related papers: On sequential analytic groups

There are familiar examples of computable structures having various computable Scott ranks. There are also familiar structures, such as the Harrison ordering, which have Scott rank $\omega_1^{CK}+1$. Makkai produced a structure of Scott…

We determine, up to the equivalence of first-order interdefinability, all structures which are first-order definable in the random partial order. It turns out that these structures fall into precisely five equivalence classes. We achieve…

We describe how properties of metric groups and of unitary representations of metric groups can be presented in continuous logic. In particular we find $L_{\omega_1 \omega}$-axiomatization of amenability. We also show that in the case of…

We obtain a structure theorem for closed, cohomogeneity one Alexandrov spaces and we classify closed, cohomogeneity one Alexandrov spaces in dimensions 3 and 4. As a corollary, we obtain the classification of closed, $n$-dimensional,…

Techniques from Descriptive Set Theory are applied in order to study the Topological Complexity of families of operators naturally connected to ergodic operators in infinite dimensional Banach Spaces. The families of ergodic,…

In this note we state a conjecture that characterizes unital C*-algebras for which the unitary group is amenable as a topological group in the norm topology. We prove the conjecture for simple, separable, stably finite, unital, $\mathcal…

Let $Homeo(\Omega)$ be the group of all homeomorphisms of a Cantor set $\Omega$. We study topological properties of $Homeo(\Omega)$ and its subsets with respect to the uniform $(\tau)$ and weak $(\tau_w)$ topologies. The classes of…

Let $G$ be a group and $G_0 \subseteq G$ be a subset. A sequence over $G_0$ means a finite sequence of terms from $G_0$, where the order of elements is disregarded and the repetition of elements is allowed. A product-one sequence is a…

The goal of this paper is to announce there is a single orbit of the c.e. sets with inclusion, $\E$, such that the question of membership in this orbit is $\Sigma^1_1$-complete. This result and proof have a number of nice corollaries: the…

We introduce the fundamental group F(A) of a simple $\sigma$-unital $C^*$-algebra $A$ with unique (up to scalar multiple) densely defined lower semicontinuous trace. This is a generalization of our previous works. Our definition in this…

We consider partially ordered sets of combinatorial structures under consecutive orders, meaning that two structures are related when one embeds in the other such that `consecutive' elements remain consecutive in the image. Given such a…

In this paper, we give explicit equations for homogeneous spaces corresponding to a rational isogeny of degree $3$. An explicit set of elliptic curves with elements of order $3$ in their Tate-Shafarevich group is constructed. Combining this…

We prove that each non-metrizable sequential rectifiable space $X$ of countable $cs^*$-character contains a clopen rectifiable submetrizable $k_\omega$-subspace $H$ and admits an open disjoint cover by subspaces homeomorphic to clopen…

For compact Hausdorff admissible right topological (CHART) group $G$, we prove $w(G)=\pi\chi(G)$. This equality is well known for compact topological groups. This implies the criteria for the metrizability of CHART groups: if $G$ is…

Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This…

We give an infinitesimal criterion, in the analytic setting, for a vector space to be locally homogeneous under some group action. Our approach differs from those which resort to an inverse function theorem (e.g. those of Moser, Zehnder or…

This is a part survey part research paper studying the local topology of complex analytic spaces. We review and strengthen the results of Kapovich--Koll\'ar "Fundamental groups of links of isolated singularities" (1109.4047) and incorporate…

(1) Every infinite, Abelian compact (Hausdorff) group K admits 2^|K|-many dense, non-Haar-measurable subgroups of cardinality |K|. When K is nonmetrizable, these may be chosen to be pseudocompact. (2) Every infinite Abelian group G admits a…

We study equivalent descriptions of the vague, weak, setwise and total-variation (TV) convergence of sequences of Borel measures on metrizable and non-metrizable topological spaces in this work. On metrizable spaces, we give some equivalent…

Let $\mathbb{A}$ denote the Alexandroff-Urysohn double arrow space. We prove the following results: (a) $\mathbb{A}\times{}^\omega{2}$ is not countable dense homogeneous; (b) ${}^{\omega}{\mathbb{A}}$ is not countable dense homogeneous; (c)…