Related papers: Nonmeasurable subgroups of compact groups

In this paper, we prove a result on nonmeasurable subgroups in commutative Polish groups with respect to more generalized structures than sigma-finite measures.

Peterzil and Steinhorn proved that if a group $G$ definable in an $o$-minimal structure is not definably compact, then $G$ contains a definable torsion-free subgroup of dimension one. We prove here a $p$-adic analogue of the…

Following Davies, Elekes and Keleti, we study measured sets, i.e. Borel sets $B$ in $\mathbb{R}$ (or in a Polish group) for which there is a translation invariant Borel measure assigning positive and \sigma-finite measure to $B$. We…

We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of $NIP$ (not the independence property), continuing aspects of math.LO/0607442. Among key results are: (i) if $p = tp(b/A)$ does not fork…

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such…

Homogeneous countably compact spaces $X$ and $Y$ whose product $X\times Y$ is not pseudocompact are constructed. It is proved that all compact subsets of homogeneous subspaces of the third power of an extremally disconnected space are…

We prove that if $G$ is a totally bounded abelian group \st\ its dual group $\widehat{G}_p$ equipped with the finite-open topology is a Baire group, then every compact subset of $G$ must be finite. This solves an open question by Chasco,…

We present a series of examples of nondiscrete reflexive P-groups (i.e., groups in which all $G_\delta$-sets are open) as well as noncompact reflexive $\omega$-bounded groups (in which the closure of every countable set is compact). Our…

A compactly generated group is noncompact if and only if it admits a nonconstant harmonic function (for some, equivalently for every, reasonable measure). This generalizes the known fact that a finitely generated group is infinite if and…

The topological group version of the celebrated Banach-Mazur problem asks wether every infinite topological group has a non-trivial separable quotient group. It is known that compact groups have infinite separable metrizable quotient…

An elementary proof is given for the fact that every locally compact subsemigroup of a compact topological group is a closed subgroup. A sample consequence is that every commutative cancellative pseudocompact locally compact Hausdorff…

We investigate the possibility of the existence of nonsparse strongly summable ultrafilters on certain abelian groups. In particular, we show that every strongly summable ultrafilter on the countably infinite Boolean group is sparse. This…

We introduce the coherent algebra of a compact metric measure space by analogy with the corresponding concept for a finite graph. As an application we show that upon topologizing the collection of isomorphism classes of compact metric…

Let $G$ be an abelian Polish group. We show that there is a strongly Haar meager set in $G$ without any $F_{\sigma}$ Haar meager hull (and that this still remains true if we replace $F_{\sigma}$ by any other class of the Borel hierarchy).…

It is shown that the groups of finite energy (that is, Sobolev class $H^1$) paths and loops with values in a compact Lie group are amenable in the sense of Pierre de la Harpe, that is, every continuous action of such a group on a compact…

In this paper we consider nonmeasurablity with respect to sigma-ideals defined be trees. First classical example of such ideal is Marczewski ideal s_0. We will consider also ideal l_0 defined by Laver trees and m_0 defined by Miller trees.…

In the paper we would like to pay attention to some analogies between Haar meager sets and Haar null sets. Among others, we will show that $0\in \inn (A-A)$ for each Borel set $A$, which is not Haar meager in an abelian Polish group.…

Over each nontrivial finite group $G$, there exists a finite system of equations having no solutions in larger finite groups but having a solution in a periodic group containing $G$. We prove several similar facts about amenable, orderable,…

We show that for a $\sigma $-ideal $\ci$ with a Borel base of subsets of an uncountable Polish space, if $\ca$ is (in several senses) a "regular" family of subsets from $\ci $ then there is a subfamily of $\ca$ whose union is completely…

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…