The uncountable spectra of countable theories.
The σ-ideal of closed smooth sets does not have the covering property
We prove that the σ-ideal I(E) (of closed smooth sets with respect to a non-smooth Borel equivalence relation E) does not have the covering property. In fact, the same holds for any σ-ideal containing the closed transversals with respect to an equivalence relation generated by a countable group of homeomorphisms. As a consequence we show that I(E) does not have a Borel basis.
Towers of measurable functions
We formulate variants of the cardinals f, p and t in terms of families of measurable functions, in order to examine the effect upon these cardinals of adding one random real.
Transfinite inductions producing coanalytic 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.
Turning Borel sets into clopen sets effectively
We present the effective version of the theorem about turning Borel sets in Polish spaces into clopen sets while preserving the Borel structure of the underlying space. We show that under some conditions the emerging parameters can be chosen in a hyperarithmetical way and using this we obtain some uniformity results.
Two applications of analytic topologies.
Two dichotomy theorems on colourability of non-analytic graphs
We prove: Theorem 1. Let κ be an uncountable cardinal. Every κ-Suslin graph G on reals satisfies one of the following two requirements: (I) G admits a κ-Borel colouring by ordinals below κ; (II) there exists a continuous homomorphism (in some cases an embedding) of a certain locally countable Borel graph into G. Theorem 2. In the Solovay model, every OD graph G on reals satisfies one of the following two requirements: (I) G admits an OD colouring by countable ordinals; (II) as above.
Two point sets with additional properties
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...
Two Problems of Measurability Concerning Convex Sets in Euclidean Spaces.