# COMPLEXITY OF EQUIVALENCE RELATIONS AND PREORDERS FROM COMPUTABILITY THEORY

@article{Ianovski2014COMPLEXITYOE,
title={COMPLEXITY OF EQUIVALENCE RELATIONS AND PREORDERS FROM COMPUTABILITY THEORY},
author={Egor Ianovski and Russell G. Miller and Keng Meng Ng and Andr{\'e} Nies},
journal={The Journal of Symbolic Logic},
year={2014},
volume={79},
pages={859 - 881}
}
• Published 4 February 2013
• Mathematics, Computer Science
• The Journal of Symbolic Logic
Abstract We study the relative complexity of equivalence relations and preorders from computability theory and complexity theory. Given binary relations R, S, a componentwise reducibility is defined by R ≤ S ⇔ ∃f ∀x, y [x R y ↔ f (x) S f (y)]. Here, f is taken from a suitable class of effective functions. For us the relations will be on natural numbers, and f must be computable. We show that there is a ${\rm{\Pi }}_1^0$-complete equivalence relation, but no ${\rm{\Pi }}_k^0$-complete for k ≥ 2…
23 Citations
Weakly precomplete equivalence relations in the Ershov hierarchy
• Mathematics, Computer Science
Algebra i logika
• 2019
It is shown that there exist infinitely many ≤c-degrees containing weakly precomplete, proper {\varSigma}_m^{-1} $$equivalence relations. FINITARY REDUCIBILITY ON EQUIVALENCE RELATIONS • Computer Science, Mathematics The Journal of Symbolic Logic • 2016 It is shown that, for every n, there does exist a natural equivalence relation which is {\rm{\Pi }}_{n + 2}^0 -complete under finitary reducibility. Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies • Computer Science, Mathematics Lobachevskii Journal of Mathematics • 2020 It is proved that there are infinitely many pairwise incomparable minimal equivalence relations that are properly in \Gamma. EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS • Mathematics The Review of Symbolic Logic • 2019 It is shown that effectively inseparable prelattices, i.e., structures of the form L, is universal with respect to all c.e. preordering relations, and consistent extension of Robinson’s system R or Q is locally universal and uniformly dense. THE COMPLEXITY OF INDEX SETS OF CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS • Mathematics, Computer Science The Journal of Symbolic Logic • 2016 It is shown that for every ceer R with infinitely many equivalence classes, the index sets are complete, and it is proved that the index set of the effectively inseparable ceers is complete. Punctual equivalence relations and their (punctual) complexity • Computer Science, Mathematics • 2021 This work explores Peq, the degree structure generated by primitive recursive reducibility on punctual equivalence relations with domain ω, and shows that Peq has much more structure, proving, e.g., that the structure is neither rigid nor homogeneous. Computable Isomorphisms of Distributive Lattices • Mathematics, Computer Science TAMC • 2019 It is proved that for any computable successor ordinal $$\alpha$$, the relation of $$\varDelta ^0_{\alpha }$$ isomorphism for computable distributive lattices is $$\varSigma ^0_.\alpha +2}$$ complete. Primitive recursive equivalence relations and their primitive recursive complexity • Computer Science, Mathematics Computability • 2022 This work explores Peq, the degree structure generated by primitive recursive reducibility on primitive recursive equivalence relations with infinitely many equivalence classes, and shows that Peq has much more structure, e.g., that it is a dense distributive lattice. Comparing the isomorphism types of equivalence structures and preorders. • Mathematics • 2020 A general theme of computable structure theory is to investigate when structures have copies of a given complexity \Gamma. We discuss such problem for the case of equivalence structures and ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS • Mathematics, Computer Science The Journal of Symbolic Logic • 2022 It is shown that the theory of the degree structure ER as well as the theories of the substructures of light degrees and of dark degrees are each computably isomorphic with second order arithmetic. ## References SHOWING 1-10 OF 58 REFERENCES Computable Component-wise Reducibility It is shown that implication in first order logic is a complete preorder for \PI 1, the \le^P_m relation on EXPTIME sets for \SI 2 and the embeddability of computable subgroups of (\QQ,+) for \ SI 3. Equivalence Relations That Are Σ03 Complete for Computable Reducibility - (Extended Abstract) • Mathematics, Computer Science WoLLIC • 2012 It is shown that one-one equivalence of computably enumerable sets, as an equivalence relation on indices, is $$\Sigma^0_3$$ complete and is below the computable isomorphism relation on computable structures from classes including predecessor trees, Boolean algebras, and metric spaces. On Σ11 equivalence relations over the natural numbers • Mathematics Math. Log. Q. • 2012 It is shown that existence of infinitely many properlyΣ11 equivalence classes that are complete as Σ11 sets (under the corresponding reducibility on sets) is necessary but not sufficient for a relation to be complete in the context of Σ 11 equivalence relations. Universal Recursion Theoretic Properties of R.E. Preordered Structures • Mathematics, Computer Science J. Symb. Log. • 1985 The main concern will be in applications of these concepts from the theory of preorders to logic, in particular as regards sufficiently strong axiomatic theories (essentially the ones in which recursive functions are representable) which arise from such theories. Index sets of computable structures • Mathematics • 2006 AbstractThe index set of a computable structure$$\mathcal{A}$$is the set of indices for computable copies of$$\mathcal{A} . We determine complexity of the index sets of various mathematically
Deduction-preserving "Recursive Isomorphisms" between theories
• Mathematics
• 1967
Introduction. In this work we discuss recursive mappings between theories which preserve deducibility, negation and implication. Roughly, we prove that any two axiomatizable theories containing a
The Classification Problem for Compact Computable Metric Spaces
• Mathematics, Computer Science
CiE
• 2013
It is shown that every compact computable metric space can be uniquely described, up to isometry, by a computable Π3 formula, and that orbits of elements are uniformly given by computableΠ2 formulas.
The Hierarchy of Equivalence Relations on the Natural Numbers Under Computable Reducibility
• Computer Science, Mathematics
Comput.
• 2012
The computable reducibility hierarchy is investigated, comparing and contrasting it with the Borel reduCibility hierarchy from descriptive set theory, and the exposition extends earlier work in the literature concerning the classification of computable structures.
The completeness of the isomorphism relation for countable Boolean algebras
• Mathematics
• 2000
We show that the isomorphism relation for countable Boolean algebras is Borel complete, i.e., the isomorphism relation for arbitrary countable structures is Borel reducible to that for countable
The isomorphism problem for classes of computable fields
• W. Calvert
• Mathematics, Computer Science
Arch. Math. Log.
• 2004
This paper follows recent work by Goncharov and Knight in using the degree of the isomorphism problem for a class to distinguish classifiable classes from non-classifiable, and shows that the isomorphic problem for real closed fields is Δ11 complete, and for others it is of relatively low complexity.