English
Related papers

Related papers: How can we recognize potentially ${\bf\Pi}^0_\xi$ …

200 papers

Let xi be a non-null countable ordinal. We study the Borel subsets of the plane that can be made $\bormxi$ by refining the Polish topology on the real line. These sets are called potentially $\bormxi$. We give a Hurewicz-like test to…

Logic · Mathematics 2007-10-02 Dominique Lecomte

We give, for some Borel sets of a product of two Polish spaces, including the Borel sets with countable sections, a Hurewicz-like characterization of those which cannot become a transfinite difference of open sets by changing the two Polish…

Logic · Mathematics 2007-10-02 Dominique Lecomte

We give characterizations of the Borel sets potentially in some Wadge class, among the Borel sets with countable vertical sections of a product of two Polish spaces. To do this, we use some partial uniformization results.

Logic · Mathematics 2007-10-02 Dominique Lecomte

Let $\bf\Gamma$ be a Borel class, or a Wadge class of Borel sets, and $2\leq d\leq\omega$ a cardinal. We study the Borel subsets of ${\mathbb R}^d$ that can be made $\bf\Gamma$ by refining the Polish topology on the real line. These sets…

Logic · Mathematics 2010-02-09 Dominique Lecomte

We study the Borel subsets of the plane that can be made closed by refining the Polish topology on the real line. These sets are called potentially closed. We first compare Borel subsets of the plane using products of continuous functions.…

Logic · Mathematics 2007-10-02 Dominique Lecomte

We give, for each level of complexity L, a Hurewicz-like characterization of the Borel subsets with countable sections of a product of two Polish spaces that cannot become in L by changing the two Polish topologies.

Logic · Mathematics 2007-10-02 Dominique Lecomte

We want to give a construction as simple as possible of a Borel subset of a product of two Polish spaces. This introduces the notion of potential Wadge class. Among other things, we study the non-potentially closed sets, by proving…

Logic · Mathematics 2007-10-02 Dominique Lecomte

We study the class of Borel equivalence relations under continuous reducibility. In particular , we characterize when a Borel equivalence relation with countable equivalence classes is $\Sigma$ 0 $\xi$ (or $\Pi$ 0 $\xi$). We characterize…

Logic · Mathematics 2018-05-30 Dominique Lecomte

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…

Logic · Mathematics 2007-07-16 Rana Barua , Ashok Maitra

We give, for each countable ordinal $\xi \geq 1$, an example of a ${\bf\Delta}^0_2$ countable union of Borel rectangles that cannot be decomposed into countably many ${\bf\Pi}^0_\xi$ rectangles. In fact, we provide a graph of a partial…

Logic · Mathematics 2013-08-22 Dominique Lecomte , Miroslav Zeleny

We show that the set of absolutely normal numbers is $\mathbf \Pi^0_3$-complete in the Borel hierarchy of subsets of real numbers. Similarly, the set of absolutely normal numbers is $\Pi^0_3$-complete in the effective Borel hierarchy.

Logic in Computer Science · Computer Science 2013-11-05 Verónica Becher , Pablo Ariel Heiber , Theodore A. Slaman

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…

Logic · Mathematics 2012-04-02 Vassilios Gregoriades

We develop a unified framework for locating natural properties of algebraic and analytic structures within the Borel hierarchy. Objects are presented as quotients of a universal generator and definability is read directly from the quotient…

Logic · Mathematics 2026-04-20 Tomasz Kania

We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism),…

Logic · Mathematics 2024-05-22 Maciej Malicki

We study classes of Borel subsets of the real line $\mathbb{R}$ such as levels of the Borel hierarchy and the class of sets that are reducible to the set $\mathbb{Q}$ of rationals, endowed with the Wadge quasi-order of reducibility with…

Logic · Mathematics 2021-03-11 Daisuke Ikegami , Philipp Schlicht , Hisao Tanaka

The space of unitary $C_{0}$-semigroups on separable infinite dimensional Hilbert space, when viewed under the topology of uniform weak convergence on compact subsets of $\mathbb{R}_{+}$, is known to admit various interesting residual…

Functional Analysis · Mathematics 2023-02-02 Raj Dahya

We introduce $ \Lambda(\Phi) $-sets as generalizations of $ \Lambda(p) $-sets. These sets are defined in terms of Orlicz norms. We consider $\Lambda(\Phi)$-sets when the Matuszewska-Orlicz index of $ \Phi $ is larger than $ 2 $. When $S$ is…

Classical Analysis and ODEs · Mathematics 2023-01-23 Donggeun Ryou

A topological space is almost locally compact if it contains a dense locally compact subspace. We generalize a result from \cite{Ma}, showing that isomorphism on Borel classes of almost locally compact Polish metric structures is always…

Logic · Mathematics 2025-08-12 Maciej Malicki

We investigate some basic descriptive set theory for countably based completely quasi-metrizable topological spaces, which we refer to as quasi-Polish spaces. These spaces naturally generalize much of the classical descriptive set theory of…

Logic · Mathematics 2012-11-07 Matthew de Brecht

A subset of a Polish space $X$ is called universally small if it belongs to each ccc $\sigma$-ideal with Borel base on $X$. Under CH in each uncountable Abelian Polish group $G$ we construct a universally small subset $A_0\subset G$ such…

General Topology · Mathematics 2012-12-19 Taras Banakh , Nadya Lyaskovska
‹ Prev 1 2 3 10 Next ›