Topics on analytic sets
A. Miller proved the consistent existence of a coanalytic two-point set, Hamel basis and MAD family. In these cases the classical transfinite induction can be modified to produce a coanalytic set. We generalize his result formulating a condition which can be easily applied in such situations. We reprove the classical results and as a new application we show that consistently there exists an uncountable coanalytic subset of the plane that intersects every C¹ curve in a countable set.
Let be the set of upper strongly porous at subsets of and let be the intersection of maximal ideals . Some characteristic properties of sets are obtained. We also find a characteristic property of the intersection of all maximal ideals contained in a given set which is closed under subsets. It is shown that the ideal generated by the so-called completely strongly porous at subsets of is a proper subideal of Earlier, completely strongly porous sets and some of their properties were...
A subset of the plane is called a two point set if it intersects any line in exactly two points. We give constructions of two point sets possessing some additional properties. Among these properties we consider: being a Hamel base, belonging to some -ideal, being (completely) nonmeasurable with respect to different -ideals, being a -covering. We also give examples of properties that are not satisfied by any two point set: being Luzin, Sierpiński and Bernstein set. We also consider natural generalizations...