Showing 1–12 of 12 results for author: Lempp, S

Finite final segments of the d.c.e. Turing degrees

Authors: Steffen Lempp, Yiqun Liu, Yong Liu, Keng Meng Ng, Cheng Peng, Guohua Wu

Abstract: We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a corollary, we are able to infer the undecidability of the EAE-theory of the d.c.e. degrees in the language of partial ordering. We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a corollary, we are able to infer the undecidability of the EAE-theory of the d.c.e. degrees in the language of partial ordering. △ Less

Submitted 21 March, 2024; v1 submitted 7 March, 2024; originally announced March 2024.

MSC Class: 03D28

A jump operator on the Weihrauch degrees

Authors: Uri Andrews, Steffen Lempp, Alberto Marcone, Joseph S. Miller, Manlio Valenti

Abstract: A partial order $(P,\le)$ admits a jump operator if there is a map $j\colon P \to P$ that is strictly increasing and weakly monotone. Despite its name, the jump in the Weihrauch lattice fails to satisfy both of these properties: it is not degree-theoretic and there are functions $f$ such that $f\equiv_{\mathrm{W}} f'$. This raises the question: is there a jump operator in the Weihrauch lattice? We… ▽ More A partial order $(P,\le)$ admits a jump operator if there is a map $j\colon P \to P$ that is strictly increasing and weakly monotone. Despite its name, the jump in the Weihrauch lattice fails to satisfy both of these properties: it is not degree-theoretic and there are functions $f$ such that $f\equiv_{\mathrm{W}} f'$. This raises the question: is there a jump operator in the Weihrauch lattice? We answer this question positively and provide an explicit definition for an operator on partial multi-valued functions that, when lifted to the Weihrauch degrees, induces a jump operator. This new operator, called the totalizing jump, can be characterized in terms of the total continuation, a well-known operator on computational problems. The totalizing jump induces an injective endomorphism of the Weihrauch degrees. We study some algebraic properties of the totalizing jump and characterize its behavior on some pivotal problems in the Weihrauch lattice. △ Less

Submitted 20 February, 2024; originally announced February 2024.

MSC Class: 03D30; 03D78

The Borel complexity of the class of models of first-order theories

Authors: Uri Andrews, David Gonzalez, Steffen Lempp, Dino Rossegger, Hongyu Zhu

Abstract: We investigate the descriptive complexity of the set of models of first-order theories. Using classical results of Knight and Solovay, we give a sharp condition for complete theories to have a $\boldsymbolΠ_ω^0$-complete set of models. We also give sharp conditions for theories to have a $\boldsymbolΠ^0_n$-complete set of models. Finally, we determine the Turing degrees needed to witness the compl… ▽ More We investigate the descriptive complexity of the set of models of first-order theories. Using classical results of Knight and Solovay, we give a sharp condition for complete theories to have a $\boldsymbolΠ_ω^0$-complete set of models. We also give sharp conditions for theories to have a $\boldsymbolΠ^0_n$-complete set of models. Finally, we determine the Turing degrees needed to witness the completeness. △ Less

Submitted 15 February, 2024; originally announced February 2024.

MSC Class: 03C62; 03C52; 03E15

Minimal covers in the Weihrauch degrees

Authors: Steffen Lempp, Joseph S. Miller, Arno Pauly, Mariya I. Soskova, Manlio Valenti

Abstract: In this paper, we study the existence of minimal covers and strong minimal covers in the Weihrauch degrees. We characterize when a problem $f$ is a minimal cover or strong minimal cover of a problem $h$. We show that strong minimal covers only exist in the cone below $\mathsf{id}$ and that the Weihrauch lattice above $\mathsf{id}$ is dense. From this, we conclude that the degree of $\mathsf{id}$ i… ▽ More In this paper, we study the existence of minimal covers and strong minimal covers in the Weihrauch degrees. We characterize when a problem $f$ is a minimal cover or strong minimal cover of a problem $h$. We show that strong minimal covers only exist in the cone below $\mathsf{id}$ and that the Weihrauch lattice above $\mathsf{id}$ is dense. From this, we conclude that the degree of $\mathsf{id}$ is first-order definable in the Weihrauch degrees and that the first-order theory of the Weihrauch degrees is computably isomorphic to third-order arithmetic. △ Less

Submitted 21 November, 2023; originally announced November 2023.

MSC Class: 03D30 03D78

Maximal towers and ultrafilter bases in computability

Authors: Steffen Lempp, Joseph S. Miller, Andre Nies, Mariya Soskova

Abstract: The tower number $\mathfrak t$ and the ultrafilter number $\mathfrak u$ are cardinal characteristics from set theory. They are based on combinatorial properties of classes of subsets of~$ω$ and the almost inclusion relation $\subseteq^*$ between such subsets. We consider analogs of these cardinal characteristics in computability theory. We show that the mass problem of ultrafilter bases is equiv… ▽ More The tower number $\mathfrak t$ and the ultrafilter number $\mathfrak u$ are cardinal characteristics from set theory. They are based on combinatorial properties of classes of subsets of~$ω$ and the almost inclusion relation $\subseteq^*$ between such subsets. We consider analogs of these cardinal characteristics in computability theory. We show that the mass problem of ultrafilter bases is equivalent to the mass problem of computing a function that dominates all computable functions, and hence, by Martin's characterization, it captures highness. On the other hand, the mass problem for maximal towers is below the mass problem of computing a non-low set. We also show that some, but not all, noncomputable low sets compute maximal towers: Every noncomputable (low) c.e.\ set computes a maximal tower but no 1-generic $Δ^0_2$-set does so. We finally consider the mass problems of maximal almost disjoint, and of maximal independent families. We show that they are Medvedev equivalent to maximal towers, and to ultrafilter bases, respectively. △ Less

Submitted 1 June, 2021; originally announced June 2021.

Comments: Submitted

On the order dimension of locally countable partial orderings

Authors: Kojiro Higuchi, Steffen Lempp, Diip Raghavan, Frank Stephan

Abstract: We show that the order dimension of the partial order of all finite subsets of $κ$ under set inclusion is ${\log}_{2}({\log}_{2}(κ))$ whenever $κ$ is an infinite cardinal. We also show that the order dimension of any locally countable partial ordering $(P, <)$ of size $κ^+$, for any $κ$ of uncountable cofinality, is at most $κ$. In particular, this implies that it is consistent with ZFC that the… ▽ More We show that the order dimension of the partial order of all finite subsets of $κ$ under set inclusion is ${\log}_{2}({\log}_{2}(κ))$ whenever $κ$ is an infinite cardinal. We also show that the order dimension of any locally countable partial ordering $(P, <)$ of size $κ^+$, for any $κ$ of uncountable cofinality, is at most $κ$. In particular, this implies that it is consistent with ZFC that the dimension of the Turing degrees under partial ordering can be strictly less than the continuum. △ Less

Submitted 15 February, 2019; originally announced February 2019.

MSC Class: Primary: 06A06; 03E04; Secondary: 03D28

On the existence of a strong minimal pair

Authors: George Barmpalias, Mingzhong Cai, Steffen Lempp, Theodore A. Slaman

Abstract: We show that there is a strong minimal pair in the computably enumerable Turing degrees. We show that there is a strong minimal pair in the computably enumerable Turing degrees. △ Less

Submitted 11 October, 2016; originally announced October 2016.

Random strings and tt-degrees of Turing complete C.E. sets

Authors: Mingzhong Cai, Rodney G Downey, Rachel Epstein, Steffen Lempp, Joseph Miller

Abstract: We investigate the truth-table degrees of (co-)c.e.\ sets, in particular, sets of random strings. It is known that the set of random strings with respect to any universal prefix-free machine is Turing complete, but that truth-table completeness depends on the choice of universal machine. We show that for such sets of random strings, any finite set of their truth-table degrees do not meet to the d… ▽ More We investigate the truth-table degrees of (co-)c.e.\ sets, in particular, sets of random strings. It is known that the set of random strings with respect to any universal prefix-free machine is Turing complete, but that truth-table completeness depends on the choice of universal machine. We show that for such sets of random strings, any finite set of their truth-table degrees do not meet to the degree~0, even within the c.e. truth-table degrees, but when taking the meet over all such truth-table degrees, the infinite meet is indeed~0. The latter result proves a conjecture of Allender, Friedman and Gasarch. We also show that there are two Turing complete c.e. sets whose truth-table degrees form a minimal pair. △ Less

Submitted 8 September, 2014; v1 submitted 24 August, 2014; originally announced August 2014.

Comments: 25 pages

Journal ref: Logical Methods in Computer Science, Volume 10, Issue 3 (September 10, 2014) lmcs:1126

The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs

Authors: Denis R. Hirschfeldt, Carl G. Jockusch, Bjørn Kjos-Hanssen, Steffen Lempp, Theodore A. Slaman

Abstract: We study the reverse mathematics and computability-the\-o\-re\-tic strength of (stable) Ramsey's Theorem for pairs and the related principles COH and DNR. We show that SRT$^2_2$ implies DNR over RCA$_0$ but COH does not, and answer a question of Mileti by showing that every computable stable $2$-coloring of pairs has an incomplete $Δ^0_2$ infinite homogeneous set. We also give some extensions of t… ▽ More We study the reverse mathematics and computability-the\-o\-re\-tic strength of (stable) Ramsey's Theorem for pairs and the related principles COH and DNR. We show that SRT$^2_2$ implies DNR over RCA$_0$ but COH does not, and answer a question of Mileti by showing that every computable stable $2$-coloring of pairs has an incomplete $Δ^0_2$ infinite homogeneous set. We also give some extensions of the latter result, and relate it to potential approaches to showing that SRT$^2_2$ does not imply RT$^2_2$. △ Less

Submitted 12 August, 2014; originally announced August 2014.

MSC Class: 03D

Journal ref: Computational Prospects of Infinity. Part II: Presented Talks, Lecture Notes Series, Institute of Mathematical Sciences, National University of Singapore, vol. 15, World Scientific Publishing, Hackensack, NJ, 2008, pp. 143--162

Comparing DNR and WWKL

Authors: Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp, Theodore A. Slaman

Abstract: In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL$_0$ (weak weak König's Lemma). In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL$_0$ (weak weak König's Lemma). △ Less

Submitted 10 August, 2014; originally announced August 2014.

MSC Class: 03D

Journal ref: Journal of Symbolic Logic 69 (2004), no. 4, 1089--1104

The complexity of the index sets of $\aleph_0$-categorical theories and of Ehrenfeucht theories

Authors: Steffen Lempp, Theodore A. Slaman

Abstract: We classify the computability-theoretic complexity of two index sets of classes of first-order theories: We show that the property of being an $\aleph_0$-categorical theory is $Π^0_3$-complete; and the property of being an Ehrenfeucht theory $Π^1_1$-complete. We also show that the property of having continuum many models is $Σ^1_1$-hard. Finally, as a corollary, we note that the properties of ha… ▽ More We classify the computability-theoretic complexity of two index sets of classes of first-order theories: We show that the property of being an $\aleph_0$-categorical theory is $Π^0_3$-complete; and the property of being an Ehrenfeucht theory $Π^1_1$-complete. We also show that the property of having continuum many models is $Σ^1_1$-hard. Finally, as a corollary, we note that the properties of having only decidable models, and of having only computable models, are both $Π^1_1$-complete. △ Less

Submitted 26 October, 2006; originally announced October 2006.

MSC Class: 03D80; 03D55

Infinite versions of some NP-complete problems

Authors: Jeffry L. Hirst, Steffen Lempp

Abstract: Recently, connections have been explored between the complexity of finite problems in graph theory and the complexity of their infinite counterparts. As is shown in our paper (and in independent work of Tirza Hirst and D. Harel from a different angle) there is no firm connection between these complexities, namely finite problems of equal complexity can have radically different complexity for the… ▽ More Recently, connections have been explored between the complexity of finite problems in graph theory and the complexity of their infinite counterparts. As is shown in our paper (and in independent work of Tirza Hirst and D. Harel from a different angle) there is no firm connection between these complexities, namely finite problems of equal complexity can have radically different complexity for the infinite versions and vice versa. Furthermore, the complexity of an infinite counterpart can depend heavily on precisely how the finite problem is rephrased in the infinite case. The finite problems we address include colorability of graphs and existence of subgraph isomorphisms. In particular, we give three infinite versions of the 3-colorability problem that vary considerably in their recursion theoretic and proof theoretic complexity. Additionally, we show that three subgraph isomorphism problems of varying finite complexity have infinite versions with identical recursion theoretic and proof theoretic content. △ Less

Submitted 9 March, 1995; originally announced March 1995.

Report number: Logic E-prints March 10, 1995