Abstract By the Galvin–Mycielski–Solovay theorem, a subset X of the line has Borel’s strong measure zero if and only if $M+X\neq \mathbb {R}$ for each meager set M. A set $X\subseteq \mathbb {R}$ is meager-additive if $M+X$ is meager for each meager set M. Recently a theorem on meager-additive sets that perfectly parallels the Galvin–Mycielski–Solovay theorem was proven: A set $X\subseteq \mathbb {R}$ is meager-additive if and only if it has sharp measure zero, a notion akin to strong measure zero. We investigate the validity of this result in Polish groups. We prove, e.g., that a set in a locally compact Polish group admitting an invariant metric is meager-additive if and only if it has sharp measure zero. We derive some consequences and calculate some cardinal invariants.

Abstract A metric space (X, d) ismonotoneif there is a linear order < onXand a constantcsuch thatd(x, y)≤c d(x, z)for allx<y<zinX. We investigate cardinal invariants of theσ-idealMongenerated by monotone subsets of the plane. Since there is a strong connection between monotone sets in the plane and porous subsets of the line, plane and the Cantor set, cardinal invariants of these ideals are also investigated. In particular, we show that non(Mon) ≥mσ-linked, but non(Mon) <mσ-centeredis consistent. Also cov(Mon) <cand cof (N) < cov(Mon) are consistent.