Showing 51–53 of 53 results for author: Mauro, L

Bi-embeddability spectra and bases of spectra

Authors: Ekaterina Fokina, Dino Rossegger, Luca San Mauro

Abstract: We study degree spectra of structures with respect to the bi-embeddability relation. The bi-embeddability spectrum of a structure is the family of Turing degrees of its bi-embeddable copies. To facilitate our study we introduce the notions of bi-embeddable triviality and basis of a spectrum. Using bi-embeddable triviality we show that several known families of degrees are bi-embeddability spectra… ▽ More We study degree spectra of structures with respect to the bi-embeddability relation. The bi-embeddability spectrum of a structure is the family of Turing degrees of its bi-embeddable copies. To facilitate our study we introduce the notions of bi-embeddable triviality and basis of a spectrum. Using bi-embeddable triviality we show that several known families of degrees are bi-embeddability spectra of structures. We then characterize the bi-embeddability spectra of linear orderings and study bases of bi-embeddability spectra of strongly locally finite graphs. △ Less

Submitted 2 April, 2019; v1 submitted 16 August, 2018; originally announced August 2018.

Comments: 15 pages

MSC Class: 03C57; 03D45; 05C60

Measuring the complexity of reductions between equivalence relations

Authors: Ekaterina Fokina, Dino Rossegger, Luca San Mauro

Abstract: Computable reducibility is a well-established notion that allows to compare the complexity of various equivalence relations over the natural numbers. We generalize computable reducibility by introducing degree spectra of reducibility and bi-reducibility. These spectra provide a natural way of measuring the complexity of reductions between equivalence relations. We prove that any upward closed coll… ▽ More Computable reducibility is a well-established notion that allows to compare the complexity of various equivalence relations over the natural numbers. We generalize computable reducibility by introducing degree spectra of reducibility and bi-reducibility. These spectra provide a natural way of measuring the complexity of reductions between equivalence relations. We prove that any upward closed collection of Turing degrees with a countable basis can be realised as a reducibility spectrum or as a bi-reducibility spectrum. We show also that there is a reducibility spectrum of computably enumerable equivalence relations with no countable basis and a reducibility spectrum of computably enumerable equivalence relations which is downward dense, thus has no basis. △ Less

Submitted 27 June, 2018; originally announced June 2018.

Comments: 17 pages

MSC Class: 03D45

Degrees of bi-embeddable categoricity of equivalence structures

Authors: Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Luca San Mauro

Abstract: We study the algorithmic complexity of embeddings between bi-embeddable equivalence structures. We define the notions of computable bi-embeddable categoricity, (relative) $Δ^0_α$ bi-embeddable categoricity, and degrees of bi-embeddable categoricity. These notions mirror the classical notions used to study the complexity of isomorphisms between structures. We show that the notions of $Δ^0_α$ bi-emb… ▽ More We study the algorithmic complexity of embeddings between bi-embeddable equivalence structures. We define the notions of computable bi-embeddable categoricity, (relative) $Δ^0_α$ bi-embeddable categoricity, and degrees of bi-embeddable categoricity. These notions mirror the classical notions used to study the complexity of isomorphisms between structures. We show that the notions of $Δ^0_α$ bi-embeddable categoricity and relative $Δ^0_α$ bi-embeddable categoricity coincide for equivalence structures for $α=1,2,3$. We also prove that computable equivalence structures have degree of bi-embeddable categoricity $\mathbf{0},\mathbf{0}'$, or $\mathbf{0}''$. We obtain results on index sets of computable equivalence structure with respect to bi-embeddability. △ Less

Submitted 30 October, 2017; originally announced October 2017.

Comments: 18 pages

MSC Class: 03C57

Journal ref: Archive for Mathematical Logic, vol. 58 (2019), no. 5-6, pp. 543-563