Classifying positive equivalence relations
From MaRDI portal
Publication:3309827
DOI10.2307/2273443zbMath0528.03030MaRDI QIDQ3309827
Claudio Bernardi, Andrea Sorbi
Publication date: 1983
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273443
03F30: First-order arithmetic and fragments
03D25: Recursively (computably) enumerable sets and degrees
03D45: Theory of numerations, effectively presented structures
Related Items
GENERALIZATIONS OF THE RECURSION THEOREM, Theoretical Pearls:Representing ‘undefined’ in lambda calculus, Fixed points and unfounded chains, \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures, The noneffectivity of Arslanov's completeness criterion and related theorems, \(\Sigma^ n_ 0\)-equivalence relations, Reducibilities among equivalence relations induced by recursively enumerable structures, Hyperdiagonalizable algebras, On a conjecture of Bergstra and Tucker, On dark computably enumerable equivalence relations, Jumps of computably enumerable equivalence relations, The theory of ceers computes true arithmetic, On computably enumerable structures, On the degree structure of equivalence relations under computable reducibility, Weakly precomplete equivalence relations in the Ershov hierarchy, Fixed point theorems for precomplete numberings, Graphs realised by r.e. equivalence relations, Weakly precomplete computably enumerable equivalence relations, A Survey on Universal Computably Enumerable Equivalence Relations, On Σ1 1 equivalence relations over the natural numbers, Precomplete Equivalence Relations in Dominical Categories
Cites Work