中文
相关论文

相关论文: Descriptive complexity of countable unions of Bore…

200 篇论文

We investigate whether an arbitrary base for a dense-in-itself topological space can be partitioned into two bases. We prove that every base for a T_3 Lindel\"of topology can be partitioned into two bases while there exists a consistent…

一般拓扑 · 数学 2014-01-27 Daniel T. Soukup , Lajos Soukup

In this paper we study fractional coloring from the angle of distributed computing. Fractional coloring is the linear relaxation of the classical notion of coloring, and has many applications, in particular in scheduling. It was proved by…

分布式、并行与集群计算 · 计算机科学 2021-03-15 Nicolas Bousquet , Louis Esperet , François Pirot

In this paper, we study the structure of the set of tilings produced by any given tile-set. For better understanding this structure, we address the set of finite patterns that each tiling contains. This set of patterns can be analyzed in…

其他计算机科学 · 计算机科学 2008-02-21 Alexis Ballier , Bruno Durand , Emmanuel Jeandel

In this note, we analyze the classification problem for compact metrizable $G$-ambits for a countable discrete group $G$ from the point of view of descriptive set theory. More precisely, we prove that the topological conjugacy relation on…

逻辑 · 数学 2017-06-30 Burak Kaya

In recent years, much work in descriptive set theory has been focused on the Borel complexity of naturally occurring classification problems, in particular, the study of countable Borel equivalence relations and their structure under the…

逻辑 · 数学 2013-06-07 Jay Williams

We provide a gentle introduction, aimed at non-experts, to Borel combinatorics that studies definable graphs on topological spaces. This is an emerging field on the borderline between combinatorics and descriptive set theory with deep…

组合数学 · 数学 2021-01-19 Oleg Pikhurko

We characterize Borel line graphs in terms of 10 forbidden induced subgraphs, namely the 9 finite graphs from the classical result of Beineke together with a 10th infinite graph associated to the equivalence relation $\mathbb{E}_0$ on the…

逻辑 · 数学 2024-11-20 James Anderson , Anton Bernshteyn

We extend classical notions of definable colourability of graphs to the general projective setting and investigate whether known results, mainly about the $G_0$ dichotomy and the $2n + 1$ conjecture, hold in the context of higher projective…

逻辑 · 数学 2026-04-24 Adrian Rettich , Luke Serafin

We introduce colorings of oriented surface-links by biquasiles using marked graph diagrams. We use these colorings to define counting invariants and Boltzmann enhancements of the biquasile counting invariants for oriented surface-links. We…

几何拓扑 · 数学 2018-01-11 Jieon Kim , Sam Nelson

A Borel equivalence relation on a Polish space is said to be countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in…

逻辑 · 数学 2007-05-23 Randall Dougherty , Alexander S. Kechris

We show that if there exists a countable Borel equivalence relation which is hyper-hyperfinite but not hyperfinite then the complexity of hyperfinite countable Borel equivalence relations is as high as possible, namely,…

逻辑 · 数学 2024-09-26 Joshua Frisch , Forte Shinko , Zoltan Vidnyanszky

It is shown that CH implies the existence of a compact Hausdorff space that is countable dense homogeneous, crowded and does not contain topological copies of the Cantor set. This contrasts with a previous result by the author which says…

一般拓扑 · 数学 2020-01-20 Rodrigo Hernández-Gutiérrez

We introduce a family of forcing notions that are helpful in showing that certain graphs do not have countable colourings of (additive) Borel class alpha. We construct graphs that are ''weakly minimal'' for such colourings.

一般拓扑 · 数学 2026-04-08 Noam Greenberg , Dominique Lecomte , Dan Turetsky , Miroslav Zelen

Using an iterative tree construction we show that for simple computable subsets of the Cantor space Hausdorff, constructive and computable dimensions might be incomputable.

计算机科学中的逻辑 · 计算机科学 2024-05-24 Ludwig Staiger

Denote by $x$ a random infinite path in the graph of Pascal's triangle (left and right turns are selected independently with fixed probabilities) and by $d_n(x)$ the binomial coefficient at the $n$'th level along the path $x$. Then for a…

动力系统 · 数学 2007-05-23 Terrence M. Adams , Karl E. Petersen

In this paper we consider some properties of a space B(X) of Borel functions on a set of reals X, with pointwise topology, that are stronger than separability.

一般拓扑 · 数学 2018-06-06 Alexander V. Osipov

We consider the polychromatic coloring problems for unions of two or more geometric hypergraphs on the same vertex sets of points in the plane. We show, inter alia, that the union of bottomless rectangles and horizontal strips does in…

组合数学 · 数学 2021-12-07 Vera Chekan , Torsten Ueckerdt

A majority coloring of an undirected graph is a vertex coloring in which for each vertex there are at least as many bi-chromatic edges containing that vertex as monochromatic ones. It is known that for every countable graph a majority…

离散数学 · 计算机科学 2024-06-07 Bartłomiej Bosek , Aleksander Katan

The following is true in the Solovay model. 1. If $\le$ is a Borel partial order on a set $D$ of the reals, and $X$ is a ROD subset of $D$ linearly ordered by $\le$, then the restriction of $\le$ onto $X$ is countably cofinal. 2. If in…

逻辑 · 数学 2018-08-16 Vladimir Kanovei

The splitting number of a plane irreducible curve for a Galois cover is effective to distinguish the embedded topologies of plane curves. In this paper, we define a connected number of any plane curve for a Galois cover whose branch divisor…

代数几何 · 数学 2019-08-15 Taketo Shirane