相关论文: Can we assign the Borel hulls in a monotone way?

A set $A$ is dually Dedekind finite if every surjection from $A$ onto $A$ is injective; otherwise, $A$ is dually Dedekind infinite. An amorphous set is an infinite set that cannot be partitioned into two infinite subsets. A strictly…

The existence of a nontrivial polynomially convex hull with every point a one-point Gleason part and with no nonzero bounded point derivations is established. This strengthens the \hbox{celebrated} result of Stolzenberg that there exists a…

In [12] was introduced, for cyclic groups, the class of partially filled arrays of the non-zero sum Heffter array that are, as the Heffter arrays, related to difference families, graph decompositions, and biembeddings. Here we generalize…

We consider intermittent maps T of the interval, with an absolutely continuous invariant probability measure \mu. Kim showed that there exists a sequence of intervals A_n such that \sum \mu(A_n)=\infty, but \{A_n\} does not satisfy the…

The assertion that every definable set has a definable element is equivalent over ZF to the principle $V=\text{HOD}$, and indeed, we prove, so is the assertion merely that every $\Pi_2$-definable set has an ordinal-definable element.…

We show that every probability-measure-preserving action of a countable amenable group G can be tiled, modulo a null set, using finitely many finite subsets of G ("shapes") with prescribed approximate invariance so that the collection of…

A graph G on omega_1 is called <omega-smooth if for each uncountable subset W of omega_1, G is isomorphic to G[W-W'] for some finite W'. We show that in various models of ZFC if a graph G is <omega-smooth then G is necessarily trivial, i.e,…

Given a bounded sequence \omega of positive numbers and its associated unilateral weighted shift W_{\omega} acting on the Hilbert space \ell^2(\mathbb{Z}_+), we consider natural representations of W_{\omega} as a 2-variable weighted shift,…

We show that if $f\colon I\to I$ is piecewise monotone, post-critically finite, and locally eventually onto, then for every point $x\in X=\underleftarrow{\lim}(I,f)$ there exists a planar embedding of $X$ such that $x$ is accessible. In…

In this paper we study the combinatorics of free Borel actions of the group $\mathbb Z^d$ on Polish spaces. Building upon recent work by Chandgotia and Meyerovitch, we introduce property $F$ on $\mathbb Z^d$-shift spaces $X$ under which…

In this article we treat a notion of continuity for a multi-valued function $F$ and we compute the descriptive set-theoretic complexity of the set of all $x$ for which $F$ is continuous at $x$. We give conditions under which the latter set…

We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…

We prove that the automorphisms of any separable C*-algebra that does not have continuous trace are not classifiable by countable structures up to unitary equivalence. This implies a dichotomy for the Borel complexity of the relation of…

We comment on a recent paper that connects certain forms of machine learning to Set Theory. We point out that part of the set-theoretic machinery is related to a result of Kuratowski about decompositions of finite powers of sets and we show…

We study some special classes of piecewise continuous maps on a finite smooth partition of a compact manifold and look for invariant measures for such maps. We show that in the simplest one-dimensional case (so-called interval translation…

For any composant $E \subset \mathbb H^*$ and corresponding near-coherence class $\mathscr E \subset \omega^*$ we prove the following are equivalent : (1) $E$ properly contains a dense semicontinuum. (2) Each countable subset of $E$ is…

We show that for every ordinal $\alpha \in [1, \omega_1)$ there is a closed set $F \subset 2^\omega \times \omega^\omega$ such that for every $x \in 2^\omega$ the section $\{y\in \omega^\omega; (x,y) \in F\}$ is a two-point set and $F$…

We investigate the relation of countable closed subsets of the reals with respect to continuous monotone embeddability; we show that there are exactly aleph_1 many equivalence classes with respect to this embeddability relation. This is an…

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…

We call a subset S of a topological vector space V linearly Borel, if for every finite number n, the set of all linear combinations of S of length n is a Borel subset of V. It will be shown that a Hamel base of an infinite dimensional…