Related papers: On relatively analytic and Borel subsets

Let $\mathfrak X$ be a Hunt process on a locally compact space $X$ such that the set $\mathcal E_{\mathfrak X}$ of its Borel measurable excessive functions separates points, every function in $\mathcal E_{\mathfrak X}$ is the supremum of…

In this article, by comparing the characteristic functions, we prove that for any $\nu$-valued algebroid function $w(z)$ defined in the unit disk with $\limsup_{r\to1-}T(r,w)/\log\frac{1}{1-r}=\infty$ and the hyper order $\rho_2(w)=0$, the…

Miller's 1937 splitting theorem was proved for pairs of cardinals $(\n,\rho)$ in which $n$ is finite and $\rho$ is infinite. An extension of Miller's theorem is proved here in ZFC for pairs of cardinals $(\nu,\rho)$ in which $\nu$ is…

For a set $M$, $\operatorname{fin}(M)$ denotes the set of all finite subsets of $M$, $M^2$ denotes the Cartesian product $M\times M$, $[M]^2$ denotes the set of all $2$-element subsets of $M$, and $\operatorname{seq}^{1-1}(M)$ denotes the…

We prove that for every Borel equivalence relation $E$, either $E$ is Borel reducible to $\mathbb{E}\_0$, or the family of Borel equivalence relations incompatible with $E$ has cofinal essential complexity. It follows that if $F$ is a Borel…

This article studies sufficient conditions on families of approximating kernels which provide $N$--term approximation errors from an associated nonlinear approximation space which match the best known orders of $N$--term wavelet expansion.…

The smallest set of vertices needed to differentiate or categorize every other vertex in a graph is referred to as the graph's metric dimension. Finding the class of graphs for a particular given metric dimension is an NP-hard problem. This…

For a Urysohn space $X$ we define the regular diagonal degree $\overline{\Delta}(X)$ of $X$ to be the minimal infinite cardinal $\kappa$ such that $X$ has a regular $G_\kappa$-diagonal i.e. there is a family $(U_\eta:\eta<\kappa)$ of open…

Let $D, G\subset{\Bbb C}$ be domains, let $A\subset D$, $B\subset G$ be locally regular sets, and let $X:=(D\times B)\cup(A\times G)$. Assume that $A$ is a Borel set. Let $M$ be a proper analytic subset of an open neighborhood of $X$. Then…

Let $r_k(n)$ denote the maximum cardinality of a set $A \subset \{1,2, \dots, n \}$ such that $A$ does not contain a $k$-term arithmetic progression. In this paper, we give a method of constructing such a set and prove the lower bound…

Based on the concept of weakly meet $s_{Z}$-continuouity put forward by Xu and Luo in \cite{qzm}, we further prove that if the subset system $Z$ satisfies certain conditions, a poset is $s_{Z}$-continuous if and only if it is weakly meet…

We prove in ZFC the existence of a definable, countably saturated elementary extension of the reals. It seems that it has been taken for granted that there is no distinguished, definable nonstandard model of the reals. (This means a…

We obtain, under an additional assumption on the subanalytic abnormal distribution constructed in [4], a proof of the minimal rank Sard conjecture in the analytic category. It establishes that from a given point the set of points accessible…

We show that the Dual Borel Conjecture implies that ${\mathfrak d}> \aleph_1$ and find some topological characterizations of perfectly meager and universally meager sets.

Consider a homogeneous polynomial $p(z_1,...,z_n)$ of degree $n$ in $n$ complex variables . Assume that this polynomial satisfies the property : \\ $|p(z_1,...,z_n)| \geq \prod_{1 \leq i \leq n} Re(z_i)$ on the domain $\{(z_1,...,z_n) :…

We review a result obtained with Andrew Ledoan and Marco Merkli. Consider a random analytic function $f(z) = \sum_{n=0}^{\infty} a_n X_n z^n$, where the $X_n$'s are i.i.d., complex valued random variables with mean zero and unit variance,…

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…

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

Returning to a classical question in Harmonic Analysis we strengthen an old result of Walter Rudin. We show that there exists a weakly almost periodic function on the group of integers Z which is not in the norm-closure of the algebra B(Z)…

We prove the consistency of $\mathrm{add}(\mathcal{N})<\mathrm{cov}(\mathcal{N})<\mathfrak{p}=\mathfrak{g}=\mathfrak{s}<\mathrm{add}(\mathcal{M})=\mathrm{cof}(\mathcal{M})<\mathfrak{a}=\mathrm{non}(\mathcal{N})=\mathfrak{c}$ with ZFC where…