A Friedberg enumeration of equivalence structures

DOI10.1142/S0219061317500088zbMath1423.03153OpenAlexW2741910292MaRDI QIDQ4596664

Keng Meng Ng, Alexander G. Melnikov, Rodney G. Downey

Publication date: 4 December 2017

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0219061317500088

zbMATH Keywords

index setisomorphismFriedberg enumerationcomputable equivalence structures

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (4)

Enumerating abelian \(p\)-groups ⋮ Generalization of Shapiro's theorem to higher arities and noninjective notations ⋮ Classifications of definable subsets ⋮ ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abelian \(p\)-groups and the halting problem
• Effectively closed sets and enumerations
• The isomorphism problem for torsion-free abelian groups is analytic complete
• Computable models of theories with few models
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• Classifications of computable structures
• On \(\Delta_2^0\)-categoricity of equivalence relations
• Effectively categorical abelian groups
• Effective categoricity of equivalence structures
• Limitwise monotonic sequences and degree spectra of structures
• UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
• Iterated effective embeddings of abelian p-groups
• A Note on Positive Equivalence Relations
• On Σ¹ ₁ equivalence relations over the natural numbers
• Computable completely decomposable groups
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
• Subgroups of finitely presented groups
• LIMITWISE MONOTONIC FUNCTIONS AND THEIR APPLICATIONS
• η-representation of sets and degrees
• Summands of Separable Abelian Groups: Dedicated to Paul Turán on his 60th Birthday

This page was built for publication: A Friedberg enumeration of equivalence structures