116 research outputs found
Partition genericity and pigeonhole basis theorems
There exist two notions of typicality in computability theory, namely,
genericity and randomness. In this article, we introduce a new notion of
genericity, called partition genericity, which is at the intersection of these
two notions of typicality, and show that many basis theorems apply to partition
genericity. More precisely, we prove that every co-hyperimmune set and every
Kurtz random is partition generic, and that every partition generic set admits
weak infinite subsets. In particular, we answer a question of Kjos-Hanssen and
Liu by showing that every Kurtz random admits an infinite subset which does not
compute any set of positive Hausdorff dimension. Partition genericty is a
partition regular notion, so these results imply many existing pigeonhole basis
theorems.Comment: 23 page
Computability Theory (hybrid meeting)
Over the last decade computability theory has seen many new and
fascinating developments that have linked the subject much closer
to other mathematical disciplines inside and outside of logic.
This includes, for instance, work on enumeration degrees that
has revealed deep and surprising relations to general topology,
the work on algorithmic randomness that is closely tied to
symbolic dynamics and geometric measure theory.
Inside logic there are connections to model theory, set theory, effective descriptive
set theory, computable analysis and reverse mathematics.
In some of these cases the bridges to seemingly distant mathematical fields
have yielded completely new proofs or even solutions of open problems
in the respective fields. Thus, over the last decade, computability theory
has formed vibrant and beneficial interactions with other mathematical
fields.
The goal of this workshop was to bring together researchers representing
different aspects of computability theory to discuss recent advances, and to
stimulate future work
The weakness of the pigeonhole principle under hyperarithmetical reductions
The infinite pigeonhole principle for 2-partitions ()
asserts the existence, for every set , of an infinite subset of or of
its complement. In this paper, we study the infinite pigeonhole principle from
a computability-theoretic viewpoint. We prove in particular that
admits strong cone avoidance for arithmetical and
hyperarithmetical reductions. We also prove the existence, for every
set, of an infinite low subset of it or its complement. This
answers a question of Wang. For this, we design a new notion of forcing which
generalizes the first and second-jump control of Cholak, Jockusch and Slaman.Comment: 29 page
Alternative Cichoń Diagrams and Forcing Axioms Compatible with CH
This dissertation surveys several topics in the general areas of iterated forcing, infinite combinatorics and set theory of the reals. There are two parts. In the first half I consider alternative versions of the Cichoń diagram. First I show that for a wide variety of reduction concepts there is a Cichoń diagram for effective cardinal characteristics relativized to that reduction. As an application I investigate in detail the Cichoń diagram for degrees of constructibility relative to a fixed inner model of ZFC. Then I study generalizations of cardinal characteristics to the space of functions from Baire space to Baire space. I prove that these cardinals can be organized into two diagrams analogous to the standard Cichoń diagram show several independence results and investigate their relation to cardinal invariants on omega. In the second half of the thesis I look at forcing axioms compatible with CH. First I consider Jensen\u27s subcomplete and subproper forcing. I generalize these notions to larger classes which are (apparently) much more nicely behaved structurally. I prove iteration and preservation theorems for both classes and use these to produce many new models of the subcomplete forcing axiom. Finally I deal with dee-complete forcing and its associated axiom DCFA. Extending a well-known result of Shelah, I show that if a tree of height omega one with no branch can be embedded into an omega one tree, possibly with uncountable branches, then it can be specialized without adding reals. As a consequence I show that DCFA implies there are no Kurepa trees, even if CH fails
- …