pith. sign in

arxiv: 1503.08870 · v2 · pith:DVHKRXWEnew · submitted 2015-03-30 · 🧮 math.LO

Forcing with Bushy Trees

Mushfeq Khan , Joseph S. Miller This is my paper
classification 🧮 math.LO
keywords bushyargumentsfunctionstheretreesalongarbitrarilyarbitrary
0
0 comments X
read the original abstract

We present several results that rely on arguments involving the combinatorics of "bushy trees". These include the fact that there are arbitrarily slow-growing diagonally noncomputable (DNC) functions that compute no Kurtz random real, as well as an extension of a result of Kumabe in which we establish that there are DNC functions relative to arbitrary oracles that are of minimal Turing degree. Along the way, we survey some of the existing instances of bushy tree arguments in the literature.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Ramsey-like theorems and immunities

    math.LO 2025-08 unverdicted novelty 7.0

    Ramsey-like theorems are not computably trivial via a computable coloring forcing DNC computations from avoiding sets, with immunity preservation characterized by pattern shape in reverse mathematics.