The decidability of some -categorical theories
For any three noncollinear points c₀,c₁,c₂ ∈ ℝ², there are sprays S₀,S₁,S₂ centered at c₀,c₁,c₂ that cover ℝ². This improves the result of de la Vega in which c₀,c₁,c₂ were required to be the vertices of an equilateral triangle.
Chad, Knight & Suabedissen [Fund. Math. 203 (2009)] recently proved, assuming CH, that there is a 2-point set included in the union of countably many concentric circles. This result is obtained here without any additional set-theoretic hypotheses.
The plane can be covered by n + 2 clouds iff .
Page 1