Ein Beitrag zur Baire-Kategorie-Theorie.
Let K be a subfield of the real field, D ⊆ K be a discrete set and f: Dⁿ → K be such that f(Dⁿ) is somewhere dense. Then (K,f) defines ℤ. We present several applications of this result. We show that K expanded by predicates for different cyclic multiplicative subgroups defines ℤ. Moreover, we prove that every definably complete expansion of a subfield of the real field satisfies an analogue of the Baire category theorem.
We show that, whenever is a countable abelian group and is a finitely-generated subgroup of , a generic measure-preserving action of on a standard atomless probability space extends to a free measure-preserving action of on . This extends a result of Ageev, corresponding to the case when is infinite cyclic.