A simplicity theorem for amoebas over random reals
Author: Fred G. Abramson
Journal: Proc. Amer. Math. Soc. 78 (1980), 409-413
MSC: Primary 03E40; Secondary 28A20
MathSciNet review: 553385
Abstract: Let M be a countable standard transitive model of ZFC, be an amoeba over M, and r be a random real over M.
Theorem. (a) There is no infinite set of reals X contained in the complement of with is a sequence of distinct reals, then for all large enough n, .
- [D] D. A. Martin and R. M. Solovay, Internal Cohen extensions, Ann. Math. Logic 2 (1970), no. 2, 143–178. MR 0270904, https://doi.org/10.1016/0003-4843(70)90009-4
- [R] Robert M. Solovay, A model of set-theory in which every set of reals is Lebesgue measurable, Ann. of Math. (2) 92 (1970), 1–56. MR 0265151, https://doi.org/10.2307/1970696