Related papers: P-domination and Borel sets

We begin the systematic study of decision problems for finitely generated groups given by a solution to their word problem. We relate this to the study of computable analysis on the space of marked groups. We point out that several distinct…

This expository paper advocates an approach to physics in which ``typicality" is identified with a suitable form of algorithmic randomness. To this end various theorems from mathematics and physics are reviewed. Their original versions…

We show that a set of small box counting dimension can be covered by a H\"older graph from all but a small set of directions, and give sharp bounds for the dimension of the exceptional set, improving a result of B. Hunt and V. Kaloshin. We…

We construct the generalized Lebesgue--Bochner spaces $L^p(\mu,\varPi)$ for positive measures $\mu$ and for suitable real or complex topological vector spaces $\varPi$ so that for $1<p<+\infty$ and Banachable $\varPi$ with separable…

We prove pseudocompactness of a Tychonoff space $X$ and the space $\mathcal{P}(X)$ of Radon probability measures on it with the weak topology under the condition that the Stone-\v{C}ech compactification of the space $\mathcal{P}(X)$ is…

All spaces below are Tychonov. We define the projective pi-character p(X) of a space X as the supremum of the values $\pi\chi(Y)$ where Y ranges over all continuous images of X. Our main result says that every space X has a pi-base whose…

A graph is said to be well-dominated if all its minimal dominating sets are of the same size. The class of well-dominated graphs forms a subclass of the well studied class of well-covered graphs. While the recognition problem for the class…

We first explain how to endow the space of subequivalence relations of any non-singular countable equivalence relation with a Polish topology, extending the framework of Kechris' recent monograph on subequivalence relations of probability…

We introduce a notion of p-orthogonality in a general Banach space $1 \le p \le \infty$. We use this concept to characterize $\ell_p$-spaces among Banach spaces and also among complete order smooth p-normed spaces. We further introduce a…

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…

Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to…

A space $X$ has a $\mathbb{Q}$-diagonal if $X^2\setminus \Delta$ has a $\mathcal{K}(\mathbb{Q})$-directed compact cover. We show that any compact space with a $\mathbb{Q}$-diagonal is metrizable, hence any Tychonorff space with a…

Given a topological property $P$, we say that the space $X$ is $P$-generated if for any subset $A\subset X$ that is not open in $X$ there is a subspace $Y \subset X$ with property $P$ such that $A\cap Y$ is not open in $Y$. (Of course, in…

Given two measurable spaces $H$ and $D$ with countably generated $\sigma$-algebras, a perfect prior probability measure $P_H$ on $H$ and a sampling distribution $S: H \rightarrow D$, there is a corresponding inference map $I: D \rightarrow…

We discuss controllability of systems that are initially given by boundary coupled p.d.e. of second order. Those systems may be described by modules over a certain subring R of the ring of Mikusinski operators with compact support. We show…

We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…

Recently a new approach to varying exponent $L^{p(\cdot)}$ space norms employing weak solutions to first order ordinary differential equations was initiated by the author. The duality of these ODE-determined $L^{p(\cdot)}$ spaces is…

In the context of generalized descriptive set theory, we systematically compare and analyze various notions of Polish-like spaces and standard $\kappa$-Borel spaces for $\kappa$ an uncountable (regular) cardinal satisfying $\kappa^{<\kappa}…

The "weakly Hausdorff" property for pseudoradial spaces fails to be naturally characterized by unique convergence of transfinite sequences. In response, we develop the category $\mathbf{SPsRad}$ of strongly pseudoradial spaces, compactly…

For a Tychonoff space $X$, $B_1(X)$ denotes the space of all Baire-one functions on $X$ endowed with the pointwise topology. We prove that the following assertions are equivalent: (1) $B_1(X)$ is a (semi-)Montel space, (2) $B_1(X)$ is a…