English
Related papers

Related papers: Countable subgroups of Euclidean Space

200 papers

For a Polish group G let cov_G be the minimal number of translates of a fixed closed nowhere dense subset of G required to cover G. For many locally compact G this cardinal is known to be consistently larger than cov(meager) which is the…

Logic · Mathematics 2007-05-23 Arnold W. Miller , Juris Steprans

We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions in the literature. We relate these notions with the well-established definitions of effective…

Logic · Mathematics 2025-04-16 Heer Tern Koh , Alexander Melnikov , Keng Meng Ng

According to Kat\vetov (1988), for every infinite cardinal $\mathfrak m$ satisfying ${\mathfrak m}^{\mathfrak n}\leq {\mathfrak m}$ for all ${\mathfrak n}<{\mathfrak m}$, there exists a unique $\mathfrak m$-homogeneous universal metric…

General Topology · Mathematics 2021-02-18 Brice R. Mbombo , Vladimir G. Pestov

It is proven that if $G$ is a finite group, then $G^\omega$ has $2^{\mathfrak c}$ dense nonmeasurable subgroups. Also, other examples of compact groups with dense nonmeasurable subgroups are presented.

General Topology · Mathematics 2014-07-04 F. Javier Trigos-Arrieta

A regular separable first-countable countably compact space is called a Nyikos space. In this paper, we give a partial solution to an old problem of Nyikos by showing that each locally compact Nyikos inverse topological semigroup is…

General Topology · Mathematics 2025-09-11 Serhii Bardyla

Given a countable residually finite group, we construct a compact group K and two elements w and u of K with the following properties: The group generated by w and the cube of u is amenable, the group generated by w and u contains a copy of…

Group Theory · Mathematics 2019-06-19 Masato Mimura

A topological space is almost locally compact if it contains a dense locally compact subspace. We generalize a result from \cite{Ma}, showing that isomorphism on Borel classes of almost locally compact Polish metric structures is always…

Logic · Mathematics 2025-08-12 Maciej Malicki

Suppose G is a topological group containing a (closed) topological copy of the Frechet-Urysohn fan. If G is a perfectly normal sequential space (a normal k-space) then every closed metrizable subset in $G$ is locally compact. Applying this…

General Topology · Mathematics 2011-08-23 Taras Banakh

We introduce a new topological generalization of the $\sigma$-projective hierarchy, not limited to Polish spaces. Earlier attempts have replaced $^{\omega}\omega$ by $^{\kappa}\kappa$, for $\kappa$ regular uncountable, or replaced countable…

Logic · Mathematics 2022-10-13 Iván Ongay-Valverde , Franklin D. Tall

The problem of the existence of non-pseudo-$\aleph_1$-compact $\mathbb R$-factorizable groups is studied. It is proved that any such group is submetrizable and has weight larger than $\omega_1$. Closely related results concerning the…

General Topology · Mathematics 2025-06-24 Evgenii Reznichenko , Ol'ga Sipacheva

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an $F_\sigma$ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to…

Logic · Mathematics 2020-12-15 Krzysztof Krupiński , Tomasz Rzepecki

Equationally compact subgroups of countable groups were introduced by Banaschewski. For all known cases the orbit closure of such a subgroup is a countable subset in the space of subgroups and has finite Cantor-Bendixson rank. We show that…

Group Theory · Mathematics 2016-08-19 Gabor Elek , Konrad Krolicki

If G is a locally essential subgroup of a compact abelian group K, then: (i) t(G)=w(G)=w(K), where t(G) is the tightness of G; (ii) if G is radial, then K must be metrizable; (iii) G contains a super-sequence S converging to 0 such that…

General Topology · Mathematics 2019-11-12 Dikran Dikranjan , Dmitri Shakhmatov

The set $\Cal C(G)$ of closed subgroups of a locally compact group $G$ has a natural topology which makes it a compact space. This topology has been defined in various contexts by Vietoris, Chabauty, Fell, Thurston, Gromov, Grigorchuk, and…

Group Theory · Mathematics 2008-11-12 Pierre de la Harpe

We give a unified treatment of the countable dense homogeneity of products of Polish spaces, with a focus on uncountable products. Our main result states that a product of fewer than $\mathfrak{p}$ Polish spaces is countable dense…

General Topology · Mathematics 2025-10-30 Andrea Medini , Juris Steprāns

A discrete subset $S$ of a topological group $G$ is called a {\it suitable set} for $G$ if $S\cup \{e\}$ is closed in $G$ and the subgroup generated by $S$ is dense in $G$, where $e$ is the identity element of $G$. In this paper, the…

General Topology · Mathematics 2026-04-23 Fucai Lin , Jiamin He , Jiajia Yang , Chuan Liu

A subset of a Polish space $X$ is called universally small if it belongs to each ccc $\sigma$-ideal with Borel base on $X$. Under CH in each uncountable Abelian Polish group $G$ we construct a universally small subset $A_0\subset G$ such…

General Topology · Mathematics 2012-12-19 Taras Banakh , Nadya Lyaskovska

We prove a result on perfect cliques with respect to countably many G-delta relations on a complete metric space. As an application, we show that a Polish group contains a free subgroup generated by a perfect set as long as it contains any…

Logic · Mathematics 2015-10-20 Martin Doležal , Wiesław Kubiś

We present several new theorems concerning the first fundamental group of a path connected metric space. Among the results proven are strengthenings of the main theorems of \cite{Sh2} and \cite{CoCo}. A compactness theorem for the…

General Topology · Mathematics 2020-10-07 Samuel M. Corson

We show that the topological rank of an orbit full group generated by an ergodic, probability measure-preserving free action of a non-discrete unimodular locally compact Polish group is two. For this, we use the existence of a cross section…

Group Theory · Mathematics 2016-02-01 Alessandro Carderi , François Le Maître