English
Related papers

Related papers: Classes de Wadge potentielles des bor\'eliens \`a …

200 papers

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

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 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 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 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 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…

Logic · Mathematics 2026-03-10 Sven Manthe

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 a fine hierarchy of Borel-piecewise continuous functions, especially, between closed-piecewise continuity and $G_\delta$-piecewise continuity. Our aim is to understand how a priority argument in computability theory is connected to…

Logic · Mathematics 2019-03-14 Takayuki Kihara

We show that if $\mathcal{F}$ is any "well-behaved" subset of the Borel functions and we assume the Axiom of Determinacy then the hierarchy of degrees on $\pow(\mathbb{R})$ induced by $\mathcal{F}$ turns out to look like the Wadge hierarchy…

Logic · Mathematics 2010-03-25 Luca Motto Ros

We show that, assuming the Axiom of Determinacy, every non-selfdual Wadge class can be constructed by starting with those of level $\omega_1$ (that is, the ones that are closed under Borel preimages) and iteratively applying the operations…

Logic · Mathematics 2022-03-22 Raphaël Carroy , Andrea Medini , Sandra Müller

It is known that for $X$ a nowhere locally compact metric space, the set of bounded continuous, nowhere locally uniformly continuous real-valued functions on $X$ contains a dense $G_\delta$ set in the space $C_b(X)$ of all bounded…

General Topology · Mathematics 2021-05-21 Alexander J. Izzo

We establish the Borel computability of various C$^*$-algebra invariants, including the Elliott invariant and the Cuntz semigroup. As applications we deduce that AF algebras are classifiable by countable structures, and that a conjecture of…

Operator Algebras · Mathematics 2015-03-13 Ilijas Farah , Andrew S. Toms , Asger Törnquist

We provide a complete classification, up to order-isomorphism, of all possible Wadge hierarchies on zero-dimensional Polish spaces using (essentially) countable ordinals as complete invariants. We also observe that although our assignment…

Logic · Mathematics 2023-05-17 Raphaël Carroy , Luca Motto Ros , Salvatore Scamperti

We show that the embeddability relations for countable quandles and for countable fields of any given characteristic other than 2 are maximally complex in a strong sense: they are invariantly universal. This notion from the theory of Borel…

Logic · Mathematics 2020-07-21 Andrew D. Brooke-Taylor , Filippo Calderoni , Sheila K. Miller

Working in the framework of Borel reducibility, we study various notions of embeddability between groups. We prove that the embeddability between countable groups, the topological embeddability between (discrete) Polish groups, and the…

Logic · Mathematics 2018-02-08 Filippo Calderoni , Luca Motto Ros

In this article, we give a full description of the Wadge degrees of Borel functions from $\omega^\omega$ to a better quasi ordering $\mathcal{Q}$. More precisely, for any countable ordinal $\xi$, we show that the Wadge degrees of…

Logic · Mathematics 2017-05-23 Takayuki Kihara , Antonio Montalbán

Let $\mathbb{F}$ be an algebraically closed field of characteristic $p>3$, and $\ggg$ the $p$-dimensional Witt algebra over $\mathbb{F}$. Let $\N$ be the nilpotent cone of $\ggg$. Explicit description of $\N$ is given, so that the conjugacy…

Representation Theory · Mathematics 2012-12-19 Yu-Feng Yao , Hao Chang

Let $c$ be the family of irreducible representations of a Weyl group $W$ corresponding to a two-sided cell of $W$. We define a subset $A_c$ of $c$ which contains the special representation of $W$ in $c$ and is in canonical bijection with…

Representation Theory · Mathematics 2024-05-08 G. Lusztig

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

In this paper we extend previous studies of selection principles for families of open covers of sets of real numbers to also include families of countable Borel covers. The main results of the paper could be summarized as follows: 1. Some…

General Topology · Mathematics 2010-08-02 Marion Scheepers , Boaz Tsaban
‹ Prev 1 2 3 10 Next ›