Showing 1–4 of 4 results for author: Marcone, A

The open and clopen Ramsey theorems in the Weihrauch lattice

Authors: Alberto Marcone, Manlio Valenti

Abstract: We investigate the uniform computational content of the open and clopen Ramsey theorems in the Weihrauch lattice. While they are known to be equivalent to $\mathrm{ATR_0}$ from the point of view of reverse mathematics, there is not a canonical way to phrase them as multivalued functions. We identify 8 different multivalued functions (5 corresponding to the open Ramsey theorem and 3 corresponding t… ▽ More We investigate the uniform computational content of the open and clopen Ramsey theorems in the Weihrauch lattice. While they are known to be equivalent to $\mathrm{ATR_0}$ from the point of view of reverse mathematics, there is not a canonical way to phrase them as multivalued functions. We identify 8 different multivalued functions (5 corresponding to the open Ramsey theorem and 3 corresponding to the clopen Ramsey theorem) and study their degree from the point of view of Weihrauch, strong Weihrauch and arithmetic Weihrauch reducibility. In particular one of our functions turns out to be strictly stronger than any previously studied multivalued functions arising from statements around $\mathrm{ATR}_0$. △ Less

Submitted 12 January, 2021; v1 submitted 9 March, 2020; originally announced March 2020.

Comments: Improved the presentation of lemmas 4.3 and 4.13. To appear in The Journal of Symbolic Logic

MSC Class: 03D78 03D30 03B30 05C55

Journal ref: J. symb. log. 86 (2021) 316-351

To reorient is easier than to orient: an on-line algorithm for reorientation of graphs

Authors: Marta Fiori-Carones, Alberto Marcone

Abstract: We define an on-line (incremental) algorithm that, given a (possibly infinite) pseudo-transitive oriented graph, produces a transitive reorientation. This implies that a theorem of Ghouila-Houri is provable in RCA_0 and hence is computably true. We define an on-line (incremental) algorithm that, given a (possibly infinite) pseudo-transitive oriented graph, produces a transitive reorientation. This implies that a theorem of Ghouila-Houri is provable in RCA_0 and hence is computably true. △ Less

Submitted 11 January, 2021; v1 submitted 4 October, 2019; originally announced October 2019.

Comments: Only minor (non mathematical) changes introduced. To appear in Computability

Journal ref: Computability, 10 (2021), 215-233

Searching for an analogue of ATR in the Weihrauch lattice

Authors: Takayuki Kihara, Alberto Marcone, Arno Pauly

Abstract: There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far ATR_0 has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candid… ▽ More There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far ATR_0 has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated. △ Less

Submitted 13 January, 2020; v1 submitted 4 December, 2018; originally announced December 2018.

MSC Class: 03D30; 03F50; 03F60

Journal ref: The Journal of Symbolic Logic 85 (2020), 1006-1043

The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma

Authors: Vasco Brattka, Guido Gherardi, Alberto Marcone

Abstract: We classify the computational content of the Bolzano-Weierstrass Theorem and variants thereof in the Weihrauch lattice. For this purpose we first introduce the concept of a derivative or jump in this lattice and we show that it has some properties similar to the Turing jump. Using this concept we prove that the derivative of closed choice of a computable metric space is the cluster point problem o… ▽ More We classify the computational content of the Bolzano-Weierstrass Theorem and variants thereof in the Weihrauch lattice. For this purpose we first introduce the concept of a derivative or jump in this lattice and we show that it has some properties similar to the Turing jump. Using this concept we prove that the derivative of closed choice of a computable metric space is the cluster point problem of that space. By specialization to sequences with a relatively compact range we obtain a characterization of the Bolzano-Weierstrass Theorem as the derivative of compact choice. In particular, this shows that the Bolzano-Weierstrass Theorem on real numbers is the jump of Weak König's Lemma. Likewise, the Bolzano-Weierstrass Theorem on the binary space is the jump of the lesser limited principle of omniscience LLPO and the Bolzano-Weierstrass Theorem on natural numbers can be characterized as the jump of the idempotent closure of LLPO. We also introduce the compositional product of two Weihrauch degrees f and g as the supremum of the composition of any two functions below f and g, respectively. We can express the main result such that the Bolzano-Weierstrass Theorem is the compositional product of Weak König's Lemma and the Monotone Convergence Theorem. We also study the class of weakly limit computable functions, which are functions that can be obtained by composition of weakly computable functions with limit computable functions. We prove that the Bolzano-Weierstrass Theorem on real numbers is complete for this class. Likewise, the unique cluster point problem on real numbers is complete for the class of functions that are limit computable with finitely many mind changes. We also prove that the Bolzano-Weierstrass Theorem on real numbers and, more generally, the unbounded cluster point problem on real numbers is uniformly low limit computable. Finally, we also discuss separation techniques. △ Less

Submitted 6 March, 2017; v1 submitted 4 January, 2011; originally announced January 2011.

Comments: This version includes an addendum by Andrea Cettolo, Matthias Schröder, and the authors of the original paper. The addendum closes a gap in the proof of Theorem 11.2, which characterizes the computational content of the Bolzano-Weierstraß Theorem for arbitrary computable metric spaces

Journal ref: Annals of Pure and Applied Logic 163:6 (2012) 623--655