Related papers: A generalization of Solovay's $\Sigma$-constructio…

A $\Sigma$-construction of Solovay is extended to the case of intermediate sets which are not necessarily subsets of the ground model, with a more transparent description of the resulting forcing notion than in the classical paper of…

We prove that Solovay's set $\Sigma$ is generic over the ground model via a forcing notion whose order relation $\subseteq$-extends the given order relation.

For a zero-relation algebra over a field $\mathcal K$, Crawley-Boevey introduced the concept of a tree module and provided a combinatorial description of a basis for the space of homomorphisms between two tree modules--the basis elements…

The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_\sigma$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof…

Transseries in the sense of \'Ecalle are constructed using a topological approach. A general contractive mapping principle is formulated and proved, showing the closure of transseries under a wide class of operations. In the second part we…

We give an alternative proof of a fact that a finite continuous non-decreasing submodular set function on a measurable space can be expressed as a supremum of measures dominated by the function, if there exists a class of sets which is…

We show that the set of Liouville numbers is either null or non-$\sigma$-finite with respect to every translation invariant Borel measure on $\RR$, in particular, with respect to every Hausdorff measure $\iH^g$ with gauge function $g$. This…

We develop Descriptive Set Theory in Generalized Baire Spaces without assuming $\kappa^{<\kappa}=\kappa$. We point out that without this assumption the basic topological concepts of these spaces have to be slightly modified in order to…

We prove that a Spector--like ultrapower extension $\gN$ of a countable Solovay model $\gM$ (where all sets of reals are Lebesgue measurable) is equal to the set of all sets constructible from reals in a generic extension $\gM[\al]$ where…

In this paper we consider a notion of universal sets for ideals. We show that there exist universal sets of minimal Borel complexity for classic ideals like null subsets of $2^\omega$ and meager subsets of any Polish space, and demonstrate…

We prove that in some cases definable thin sets (including chains) of Borel partial orderings are necessarily countably cofinal. This includes the following cases: analytic thin sets, ROD thin sets in the Solovay model, and $\Sigma^1_2$…

A set $G \subseteq \omega$ is $n$-generic for a positive integer $n$ if and only if every $\Sigma^0_n$ formula of $G$ is decided by a finite initial segment of $G$ in the sense of Cohen forcing. It is shown here that every $n$-generic set…

Given an analytic equivalence relation, we tend to wonder whether it is Borel. When it is non Borel, there is always the hope it will be Borel on a "large" set -- nonmeager or of positive measure. That has led Kanovei, Sabok and Zapletal to…

We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel…

Louveau showed that if a Borel set in a Polish space happens to be in a Borel Wadge class $\Gamma$, then its $\Gamma$-code can be obtained from its Borel code in a hyperarithmetical manner. We extend Louveau's theorem to Borel functions: If…

Let H be a product of countably infinite number of copies of an uncountable Polish space X. Let $\Sigma_\xi$ $(\bar {\Sigma}_\xi)$ be the class of Borel sets of additive class \xi for the product of copies of the discrete topology on X (the…

Let I be a sigma-ideal sigma-generated by a projective collection of closed sets. The forcing with I-positive Borel sets is proper and adds a single real r of an almost minimal degree: if s is a real in V[r] then s is Cohen generic over V…

We study the Borel complexity of sets of normal numbers in several numeration systems. Taking a dynamical point of view, we offer a unified treatment for continued fraction expansions and base $r$ expansions, and their various…

We show that if an automorphism of a standard Borel space does not admit finite invariant measures, then it has a two-set generator modulo the sigma-ideal generated by wandering sets. This implies that if the entropies of invariant…

We prove that in a locally finite dimensional Lie algebra L, any maximal, locally solvable subalgebra (Borel subalgebra) is the stabilizer of a maximal, generalized flag in an integrable, faithful module over L.