Source author record

Jan Reimann

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.PR

Catalog footprint

Research overview

3works

2topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2014arXiv

Finding subsets of positive measure

An important theorem of geometric measure theory (first proved by Besicovitch and Davies for Euclidean space) says that every analytic set of non-zero $s$ -dimensional Hausdorff measure $\mathcal H^s$ contains a closed subset of non-zero (and indeed finite) $\mathcal H^s$ -measure. We investigate the question how hard it is to find such a set, in terms of the index set complexity, and in terms of the complexity of the parameter needed to define such a closed set. Among other results, we show that given a (lightface) $Σ^1_1$ set of reals in Cantor space, there is always a $Π^0_1(\mathcal{O})$ subset on non-zero $\mathcal H^s$ -measure definable from Kleene's $\mathcal O$ . On the other hand, there are $Π^0_2$ sets of reals where no hyperarithmetic real can define a closed subset of non-zero measure.

preprint2013arXiv

Measures and their random reals

We study the randomness properties of reals with respect to arbitrary probability measures on Cantor space. We show that every non-computable real is non-trivially random with respect to some measure. The probability measures constructed in the proof may have atoms. If one rules out the existence of atoms, i.e. considers only continuous measures, it turns out that every non-hyperarithmetical real is random for a continuous measure. On the other hand, examples of reals not random for any continuous measure can be found throughout the hyperarithmetical Turing degrees.

preprint2012arXiv

Independence, Relative Randomness, and PA Degrees

We study pairs of reals that are mutually Martin-Löf random with respect to a common, not necessarily computable probability measure. We show that a generalized version of van Lambalgen's Theorem holds for non-computable probability measures, too. We study, for a given real $A$ , the \emph{independence spectrum} of $A$ , the set of all $B$ so that there exists a probability measure $μ$ so that $μ\{A,B\} = 0$ and $(A,B)$ is $μ\timesμ$ -random. We prove that if $A$ is r.e., then no $Δ^0_2$ set is in the independence spectrum of $A$ . We obtain applications of this fact to PA degrees. In particular, we show that if $A$ is r.e.\ and $P$ is of PA degree so that $P \not\geq_{T} A$ , then $A \oplus P \geq_{T} 0'$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.