Related papers: Completely determined Borel sets and measurability

W. Hurewicz proved that analytic Menger sets of reals are $\sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has…

Let $f:M\to M$ be a homeomorphism over a compact Riemannian manifold, ergodic with respect to a measure $\mu$ defined on the completion of the Borel $\sigma$-algebra and $\mathcal F$ a $f$-invariant one dimensional continuous foliation of…

The main result of this note, Theorem 2, is the following: a Borel measure on the space of infinite Hermitian matrices, that is invariant under the action of the infinite unitary group and that admits well-defined projections onto the…

For each $a \in \mathbb{R}$, we define a Borel function $f_a : \mathbb{R} \to \mathbb{R}$ which encodes $a$ in a certain sense. We show that for each Borel $g : \mathbb{R} \to \mathbb{R}$, $f_a \cap g = \emptyset$ implies $a \in…

The main goal of this paper is to develop a concept of approximate differentiability of higher order for subsets of the Euclidean space that allows to characterize higher order rectifiable sets, extending somehow well known facts for…

Below, by space we mean a separable metrizable zero-dimensional space. It is studied when the space can be embedded in a Cantor set while maintaining the algebraic structure. Main results of the work: every space is an open retract of a…

We prove that every finite Borel measure $\mu$ in $\mathbb{R}^N$ that is bounded from above by the Hausdorff measure $\mathcal{H}^s$ can be split in countable many parts $\mu\lfloor_{E_k}$ that are bounded from above by the Hausdorff…

In this paper we prove that given a weakly almost periodic measure $\mu$ supported inside some model set $\Lambda(W)$ with closed window $W$, then the strongly almost periodic component $\mu_S$ and the null weakly almost periodic component…

All spaces are assumed to be separable and metrizable. We show that, assuming the Axiom of Determinacy, every zero-dimensional homogeneous space is strongly homogeneous (that is, all its non-empty clopen subspaces are homeomorphic), with…

Let $E$ be a countable Borel equivalence relation on the space $\mathcal{E}_{\infty}$ of all infinite partitions of the natural numbers. We show that $E$ coincides with equality below a Carlson-Simpson generic element of…

We investigate C-sets in almost zero-dimensional spaces, showing that closed $\sigma$C-sets are C-sets. As corollaries, we prove that every rim-$\sigma$-compact almost zero-dimensional space is zero-dimensional and that each cohesive almost…

For a locally compact Abelian group $G$, the algebra of Rajchman measures, denoted by $M_0(G)$, is the set of all bounded regular Borel measures on $G$ whose Fourier transform vanish at infinity. In this paper, we investigate the spectral…

Building on recent results regarding symmetric probabilistic constructions of countable structures, we provide a method for constructing probability measures, concentrated on certain classes of countably infinite structures, that are…

We prove that the relation of bisimilarity between countable labelled transition systems is $\Sigma_1^1$-complete (hence not Borel), by reducing the set of non-wellorders over the natural numbers continuously to it. This has an impact on…

We prove that if $(M,\mathcal{X})$ and $(M,\mathcal{Y})$ are countable models of the theory $\mathrm{WKL}^*_0$ such that $\mathrm{I}\Sigma_1(A)$ fails for some $A \in \mathcal{X} \cap \mathcal{Y}$, then $(M,\mathcal{X})$ and…

The program Reverse Mathematics (RM for short) seeks to identify the axioms necessary to prove theorems of ordinary mathematics, usually working in the language of second-order arithmetic $L_{2}$. A major theme in RM is therefore the study…

Let $\mathcal C_{c}(L):= \{\alpha\in \mathcal{R}(L) \mid R_{\alpha} \, \text{ is a countable subset of } \, \mathbb R \}$, where $R_\alpha:=\{r\in\mathbb R \mid {\mathrm{coz}}(\alpha-r)\neq\top\}$ for every $\alpha\in\mathcal R (L).$ By…

Many known results on finite von Neumann algebras are generalized, by purely algebraic proofs, to a certain class ${\mathcal C}$ of finite Baer *-rings. The results in this paper can also be viewed as a study of the properties of Baer…

We give a characterization of commutative semispectral measures by means of Feller and Strong Feller Markov kernels. In particular: {itemize} we show that a semispectral measure $F$ is commutative if and only if there exist a self-adjoint…

A directed set $P$ is calibre $(\omega_1, \omega)$ if every uncountable subset of $P$ contains an infinite bounded subset. $P$ is productively calibre $(\omega_1, \omega)$ if $P \times Q$ is calibre $(\omega_1, \omega)$ for every directed…