Prefer a chat interface with context about you and your work?
On Expressible Sets of Geometric Sequences
We prove that the expressible sets of geometric sequences are Borel measurable and give lower and upper bounds for their Lebesgue measure.