Source author record

Noam Greenberg

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

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

15works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Many forcing axioms for all regular uncountable cardinals

A central theme in set theory is to find universes with extreme, well-understood behaviour. The case we are interested in is assuming GCH and has a strong forcing axiom of higher order than usual. Instead of "for every suitable forcing notion for~ $λ$ " we shall say "for every such family of forcing notions, depending on stationary $S\subseteq λ$ , for some such stationary set we have\dots". Such notions of forcing are important for Abelian group theory, but this application is delayed for a sequel.

preprint2022arXiv

Martin-Löf reducibility and cost functions

Martin-Löf (ML)-reducibility compares $K$ -trivial sets by examining the Martin-Löf random sequences that compute them. We show that every $K$ -trivial set is computable from a c.e.\ set of the same ML-degree. We investigate the interplay between ML-reducibility and cost functions, which are used to both measure the number of changes in a computable approximation, and the type of null sets used to capture ML-random sequences. We show that for every cost function there is a c.e.\ set ML-above the sets obeying it (called an ML-complete set for the cost function). We characterise the $K$ -trivial sets computable from a fragment of the left-c.e.\ random real~ $Ω$ . This leads to a new characterisation of strong jump-traceability.

preprint2020arXiv

Realizing Computably Enumerable Degrees in Separating Classes

We investigate what collections of c.e.\ Turing degrees can be realised as the collection of elements of a separating $Π^0_1$ class of c.e.\ degree. We show that for every c.e.\ degree $\mathbf{c}$ , the collection $\{\mathbf{c}, \mathbf{0}'\}$ can be thus realized. We also rule out several attempts at constructing separating classes realizing a unique c.e.\ degree. For example, we show that there is no \emph{super-maximal} pair: disjoint c.e.\ sets $A$ and $B$ whose separating class is infinite, but every separator of c.e.\ degree is a finite variant of either $A$ or $\overline{B}$ .

preprint2019arXiv

Computing from projections of random points: a dense hierarchy of subideals of the $K$ -trivial degrees

We study the sets that are computable from both halves of some (Martin-Löf) random sequence, which we call \emph{ $1/2$ -bases}. We show that the collection of such sets forms an ideal in the Turing degrees that is generated by its c.e.\ elements. It is a proper subideal of the $K$ -trivial sets. We characterise $1/2$ -bases as the sets computable from both halves of Chaitin's $Ω$ , and as the sets that obey the cost function $\mathbf c(x,s) = \sqrt{Ω_s - Ω_x}$ . Generalising these results yields a dense hierarchy of subideals in the $K$ -trivial degrees: For $k< n$ , let $B_{k/n}$ be the collection of sets that are below any $k$ out of $n$ columns of some random sequence. As before, this is an ideal generated by its c.e.\ elements and the random sequence in the definition can always be taken to be $Ω$ . Furthermore, the corresponding cost function characterisation reveals that $B_{k/n}$ is independent of the particular representation of the rational $k/n$ , and that $B_p$ is properly contained in $B_q$ for rational numbers $p< q$ . These results are proved using a generalisation of the Loomis--Whitney inequality, which bounds the measure of an open set in terms of the measures of its projections. The generality allows us to analyse arbitrary families of orthogonal projections. As it turns out, these do not give us new subideals of the $K$ -trivial sets, we can calculate from the family which $B_p$ it characterises. We finish by showing that the the union of $B_p$ for $p<1$ is the collection of sets which are robustly computable from a random, a class previously studied by Hirschfeldt, Jockusch, Kuyper, and Schupp.

preprint2015arXiv

Continuous higher randomness

We investigate the role of continuous reductions and continuous relativisation in the context of higher randomness. We define a higher analogue of Turing reducibility and show that it interacts well with higher randomness, for example with respect to van-Lambalgen's theorem and the Miller-Yu / Levin theorem. We study lowness for continuous relativization of randomness, and show the equivalence of the higher analogues of the different characterisations of lowness for Martin-Löf randomness. We also characterise computing higher $K$ -trivial sets by higher random sequences. We give a separation between higher notions of randomness, in particular between higher weak-2-randomness and $Π^1_1$ -randomness. To do so we investigate classes of functions computable from Kleene's~ $O$ based on strong forms of the higher limit lemma.

preprint2015arXiv

DNR and incomparable Turing degrees

We construct an increasing $ω$ -sequence $(a_n)$ of Turing degrees which forms an initial segment of the Turing degrees, and such that each~ $a_{n+1}$ is diagonally noncomputable relative to $a_n$ . It follows that the~ $\mathsf{DNR}$ principle of reverse mathematics does not imply the existence of Turing incomparable degrees.

preprint2013arXiv

Computing K-Trivial Sets by Incomplete Random Sets

Every K-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Martin-Löf random set that does not compute 0'.

preprint2013arXiv

Models of Cohen measurability

We show that in contrast with the Cohen version of Solovay's model, it is consistent for the continuum to be Cohen-measurable and for every function to be continuous on a non-meagre set.

preprint2011arXiv

Anti-complex sets and reducibilities with tiny use

In contrast with the notion of complexity, a set $A$ is called anti-complex if the Kolmogorov complexity of the initial segments of $A$ chosen by a recursive function is always bounded by the identity function. We show that, as for complexity, the natural arena for examining anti-complexity is the weak-truth table degrees. In this context, we show the equivalence of anti-complexity and other lowness notions such as r.e.\ traceability or being weak truth-table reducible to a Schnorr trivial set. A set $A$ is anti-complex if and only if it is reducible to another set $B$ with \emph{tiny use}, whereby we mean that the use function for reducing $A$ to $B$ can be made to grow arbitrarily slowly, as gauged by unbounded nondecreasing recursive functions. This notion of reducibility is then studied in its own right, and we also investigate its range and the range of its uniform counterpart.

preprint2011arXiv

Characterizing the strongly jump-traceable sets via randomness

We show that if a set $A$ is computable from every superlow 1-random set, then $A$ is strongly jump-traceable. This theorem shows that the computably enumerable (c.e.) strongly jump-traceable sets are exactly the c.e.\ sets computable from every superlow 1-random set. We also prove the analogous result for superhighness: a c.e.\ set is strongly jump-traceable if and only if it is computable from every superhigh 1-random set. Finally, we show that for each cost function $c$ with the limit condition there is a 1-random $Δ^0_2$ set $Y$ such that every c.e.\ set $A \le_T Y$ obeys $c$ . To do so, we connect cost function strength and the strength of randomness notions. This result gives a full correspondence between obedience of cost functions and being computable from $Δ^0_2$ 1-random sets.

preprint2011arXiv

Inherent enumerability of strong jump-traceability

We show that every strongly jump-traceable set obeys every benign cost function. Moreover, we show that every strongly jump-traceable set is computable from a computably enumerable strongly jump-traceable set. This allows us to generalise properties of c.e.\ strongly jump-traceable sets to all such sets. For example, the strongly jump-traceable sets induce an ideal in the Turing degrees; the strongly jump-traceable sets are precisely those that are computable from all superlow Martin-Löf random sets; the strongly jump-traceable sets are precisely those that are a base for $\text{Demuth}_{\text{BLR}}$ -randomness; and strong jump-traceability is equivalent to strong superlowness.

preprint2011arXiv

Pseudo-jump inversion and SJT-hard sets

There are noncomputable c.e.\ sets, computable from every SJT-hard c.e.\ set. This yields a natural pseudo-jump operator, increasing on all sets, which cannot be inverted back to a minimal pair or even avoiding an upper cone.

preprint2011arXiv

Relative to any non-hyperarithmetic set

We prove that there is a structure, indeed a linear ordering, whose degree spectrum is the set of all non-hyperarithmetic degrees. We also show that degree spectra can distinguish measure from category.

preprint2011arXiv

Strong jump traceability and Demuth randomness

We solve the covering problem for Demuth randomness, showing that a computably enumerable set is computable from a Demuth random set if and only if it is strongly jump-traceable. We show that on the other hand, the class of sets which form a base for Demuth randomness is a proper subclass of the class of strongly jump-traceable sets.

preprint2006arXiv

Models of real-valued measurability

Solovay's random-real forcing (1971) is the standard way of producing real-valued measurable cardinals. Following questions of Fremlin, by giving a new construction, we show that there are combinatorial, measure-theoretic properties of Solovay's model that do not follow from the existence of real-valued measurability.

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.

Noam Greenberg

Research overview

Is this your work?

15 publications

Many forcing axioms for all regular uncountable cardinals

Martin-Löf reducibility and cost functions

Realizing Computably Enumerable Degrees in Separating Classes

Computing from projections of random points: a dense hierarchy of subideals of the $K$ -trivial degrees

Continuous higher randomness

DNR and incomparable Turing degrees

Computing K-Trivial Sets by Incomplete Random Sets

Models of Cohen measurability

Anti-complex sets and reducibilities with tiny use

Characterizing the strongly jump-traceable sets via randomness

Inherent enumerability of strong jump-traceability

Pseudo-jump inversion and SJT-hard sets

Relative to any non-hyperarithmetic set

Strong jump traceability and Demuth randomness

Models of real-valued measurability

See the researcher in context

Building this map preview

Noam Greenberg

Research overview

Is this your work?

15 publications

Many forcing axioms for all regular uncountable cardinals

Martin-Löf reducibility and cost functions

Realizing Computably Enumerable Degrees in Separating Classes

Computing from projections of random points: a dense hierarchy of subideals of the KKK-trivial degrees

Continuous higher randomness

DNR and incomparable Turing degrees

Computing K-Trivial Sets by Incomplete Random Sets

Models of Cohen measurability

Anti-complex sets and reducibilities with tiny use

Characterizing the strongly jump-traceable sets via randomness

Inherent enumerability of strong jump-traceability

Pseudo-jump inversion and SJT-hard sets

Relative to any non-hyperarithmetic set

Strong jump traceability and Demuth randomness

Models of real-valued measurability

See the researcher in context

Building this map preview

Computing from projections of random points: a dense hierarchy of subideals of the $K$ -trivial degrees