-
Strong reducibilities and set theory
Authors:
Noah Schweber
Abstract:
We study Medvedev reducibility in the context of set theory -- specifically, forcing and large cardinal hypotheses. Answering a question of Hamkins and Li \cite{HaLi}, we show that the Medvedev degrees of countable ordinals are far from linearly ordered in multiple ways, our main result here being that there is a club of ordinals which is an antichain with respect to Medvedev reducibility. We then…
▽ More
We study Medvedev reducibility in the context of set theory -- specifically, forcing and large cardinal hypotheses. Answering a question of Hamkins and Li \cite{HaLi}, we show that the Medvedev degrees of countable ordinals are far from linearly ordered in multiple ways, our main result here being that there is a club of ordinals which is an antichain with respect to Medvedev reducibility. We then generalize these results to arbitrary ``reasonably-definable" reducibilities, under appropriate set-theoretic hypotheses.
We then turn from ordinals to general structures. We show that some of the results above yield characterizations of counterexamples to Vaught's conjecture; another applies to all situations, assigning an ordinal to any reasonable class of structures and ``measure" on that class. We end by discussing some directions for future research.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Clarifying ordinals
Authors:
Noah Schweber
Abstract:
We use forcing over admissible sets to show that, for every ordinal $α$ in a club $C\subsetω_1$, there are copies of $α$ such that the isomorphism between them is not computable in the join of the complete $Π^1_1$ set relative to each copy separately. Assuming $\mathsf{V=L}$, this is close to optimal; on the other hand, assuming large cardinals the same (and more) holds for every projective functi…
▽ More
We use forcing over admissible sets to show that, for every ordinal $α$ in a club $C\subsetω_1$, there are copies of $α$ such that the isomorphism between them is not computable in the join of the complete $Π^1_1$ set relative to each copy separately. Assuming $\mathsf{V=L}$, this is close to optimal; on the other hand, assuming large cardinals the same (and more) holds for every projective functional.
△ Less
Submitted 19 August, 2024;
originally announced August 2024.
-
Choiceless Chain Conditions
Authors:
Asaf Karagila,
Noah Schweber
Abstract:
Chain conditions are one of the major tools used in the theory of forcing. We say that a partial order has the countable chain condition if every antichain (in the sense of forcing) is countable. Without the axiom of choice antichains tend to be of little use, for various reasons, and in this short note we study a number of conditions which in ZFC are equivalent to the countable chain condition.
Chain conditions are one of the major tools used in the theory of forcing. We say that a partial order has the countable chain condition if every antichain (in the sense of forcing) is countable. Without the axiom of choice antichains tend to be of little use, for various reasons, and in this short note we study a number of conditions which in ZFC are equivalent to the countable chain condition.
△ Less
Submitted 9 June, 2022; v1 submitted 7 June, 2021;
originally announced June 2021.
-
Self-full ceers and the uniform join operator
Authors:
Uri Andrews,
Noah Schweber,
Andrea Sorbi
Abstract:
A computably enumerable equivalence relation (ceer) $X$ is called self-full if whenever $f$ is a reduction of $X$ to $X$ then the range of $f$ intersects all $X$-equivalence classes. It is known that the infinite self-full ceers properly contain the dark ceers, i.e. the infinite ceers which do not admit an infinite computably enumerable transversal. Unlike the collection of dark ceers, which are c…
▽ More
A computably enumerable equivalence relation (ceer) $X$ is called self-full if whenever $f$ is a reduction of $X$ to $X$ then the range of $f$ intersects all $X$-equivalence classes. It is known that the infinite self-full ceers properly contain the dark ceers, i.e. the infinite ceers which do not admit an infinite computably enumerable transversal. Unlike the collection of dark ceers, which are closed under the operation of uniform join, we answer a question from \cite{joinmeet} by showing that there are self-full ceers $X$ and $Y$ so that their uniform join $X\oplus Y$ is non-self-full. We then define and examine the hereditarily self-full ceers, which are the self-full ceers $X$ so that for any self-full $Y$, $X\oplus Y$ is also self-full: we show that they are closed under uniform join, and that every non-universal degree in $\textrm{Ceers}_{/{\mathcal{I}}}$ have infinitely many incomparable hereditarily self-full strong minimal covers. In particular, every non-universal ceer is bounded by a hereditarily self-full ceer. Thus the hereditarily self-full ceers form a properly intermediate class in between the dark ceers and the infinite self-full ceers which is closed under $\oplus$.
△ Less
Submitted 21 February, 2020; v1 submitted 20 September, 2019;
originally announced September 2019.
-
The Theory of Ceers Computes True Arithmetic
Authors:
Uri Andrews,
Noah Schweber,
Andrea Sorbi
Abstract:
We show that the theory of the partial order of computably enumerable equivalence relations (ceers) under computable reduction is 1-equivalent to true arithmetic. We show the same result for the structure comprised of the dark ceers and the structure comprised of the light ceers. We also show the same for the structure of $\mathcal{I}$-degrees in the dark, light, or complete structure. In each cas…
▽ More
We show that the theory of the partial order of computably enumerable equivalence relations (ceers) under computable reduction is 1-equivalent to true arithmetic. We show the same result for the structure comprised of the dark ceers and the structure comprised of the light ceers. We also show the same for the structure of $\mathcal{I}$-degrees in the dark, light, or complete structure. In each case, we show that there is an interpretable copy of $(\mathbb{N},+,\cdot)$.
△ Less
Submitted 22 February, 2020; v1 submitted 20 September, 2019;
originally announced September 2019.
-
Effective Localization number: building $k$-surviving degrees
Authors:
Iván Ongay-Valverde,
Noah Schweber
Abstract:
We introduce and study effective versions of the localization numbers introduced by Newelski and Roslanowski (cite in paper). We show that proper hierarchies are produced, and that the corresponding highness notions are relatively weak, in that they can often be made computably traceable. We discuss connections with other better-understood effective cardinal characteristics.
We introduce and study effective versions of the localization numbers introduced by Newelski and Roslanowski (cite in paper). We show that proper hierarchies are produced, and that the corresponding highness notions are relatively weak, in that they can often be made computably traceable. We discuss connections with other better-understood effective cardinal characteristics.
△ Less
Submitted 13 April, 2018;
originally announced April 2018.
-
Computable structures in generic extensions
Authors:
Julia Knight,
Antonio Montalban,
Noah Schweber
Abstract:
In this paper, we investigate connections between structures present in every generic extension of the universe $V$ and computability theory. We introduce the notion of {\em generic Muchnik reducibility} that can be used to to compare the complexity of uncountable structures; we establish basic properties of this reducibility, and study it in the context of {\em generic presentability}, the existe…
▽ More
In this paper, we investigate connections between structures present in every generic extension of the universe $V$ and computability theory. We introduce the notion of {\em generic Muchnik reducibility} that can be used to to compare the complexity of uncountable structures; we establish basic properties of this reducibility, and study it in the context of {\em generic presentability}, the existence of a copy of the structure in every extension by a given forcing. We show that every forcing notion making $ω_2$ countable generically presents some countable structure with no copy in the ground model; and that every structure generically presentble by a forcing notion that does not make $ω_2$ countable has a copy in the ground model. We also show that any countable structure $\mathcal{A}$ that is generically presentable by a forcing notion not collapsing $ω_1$ has a countable copy in $V$, as does any structure $\mathcal{B}$ generically Muchnik reducible to a structure $\mathcal{A}$ of cardinality $\aleph_1$. The former positive result yields a new proof of Harrington's result that counterexamples to Vaught's conjecture have models of power $\aleph_1$ with Scott rank arbitrarily high below $ω_2$. Finally, we show that a rigid structure with copies in all generic extensions by a given forcing has a copy already in the ground model.
△ Less
Submitted 10 December, 2014; v1 submitted 29 May, 2014;
originally announced May 2014.
-
Transfinite Recursion in Higher Reverse Mathematics
Authors:
Noah Schweber
Abstract:
In this paper we investigate the reverse mathematics of higher-order analogues of the theory \ATRz{} within the framework of higher order reverse mathematics developed by Kohlenbach \cite{Koh01}. We define a theory \RCAzthr, a close higher-type analogue of the classical base theory \RCAz, and show that it is essentially a conservative subtheory of Kohlenbach's base theory \RCAzo. Working over \RCA…
▽ More
In this paper we investigate the reverse mathematics of higher-order analogues of the theory \ATRz{} within the framework of higher order reverse mathematics developed by Kohlenbach \cite{Koh01}. We define a theory \RCAzthr, a close higher-type analogue of the classical base theory \RCAz, and show that it is essentially a conservative subtheory of Kohlenbach's base theory \RCAzo. Working over \RCAzthr, we study higher-type analogues of statements classically equivalent to \ATRz, including open and clopen determinacy, as well as two choice principles, and prove several equivalences and separations. Our main result is the separation of open and clopen determinacy for reals, using a variant of Steel forcing; in the presentation of this result, we develop a new, more flexible framework for Steel-type forcing.
△ Less
Submitted 21 October, 2013;
originally announced October 2013.
-
Computably enumerable partial orders
Authors:
Peter A. Cholak,
Damir D. Dzhafarov,
Noah Schweber,
Richard A. Shore
Abstract:
We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain principle and ascending/descending sequence principle for such orders, and show that the former is strictly stronger than the latter. We then show that every $\emptyset'$-computable structure (or even just of c.e.\ degr…
▽ More
We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain principle and ascending/descending sequence principle for such orders, and show that the former is strictly stronger than the latter. We then show that every $\emptyset'$-computable structure (or even just of c.e.\ degree) has the same degree spectrum as some computably enumerable (co-c.e.)\ partial order, and hence that there is a c.e.\ (co-c.e.)\ partial order with spectrum equal to the set of nonzero degrees.
△ Less
Submitted 18 October, 2011;
originally announced October 2011.
