A Friedberg enumeration of equivalence structures

DOI10.1142/S0219061317500088MaRDI QIDQ4596664zbMATH OpenOpenAlexFDO

Authors Alexander Melnikov, Keng Meng Ng, 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

computable equivalence structuresFriedberg enumerationindex setisomorphism

Mathematics Subject Classification ID

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

Recommendations

• Classifications of computable structures
• Equivalence Relations on Classes of Computable Structures
• scientific article; zbMATH DE number 218551
• \({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures
• Calculable enumerations and equivalence relations

Cites work

• η-representation of sets and degrees
• A Note on Positive Equivalence Relations
• Abelian p-groups and the halting problem
• Classifications of computable structures
• Computable completely decomposable groups
• Computable models of theories with few models
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• Effective categoricity of equivalence structures
• Effectively categorical abelian groups
• Effectively closed sets and enumerations
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 1303201 (Why is no real title available?)
• scientific article; zbMATH DE number 1303204 (Why is no real title available?)
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• scientific article; zbMATH DE number 1390024 (Why is no real title available?)
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• Iterated effective embeddings of abelian p-groups
• LIMITWISE MONOTONIC FUNCTIONS AND THEIR APPLICATIONS
• Limitwise monotonic sequences and degree spectra of structures
• On \(\Delta_2^0\)-categoricity of equivalence relations
• On Σ¹ ₁ equivalence relations over the natural numbers
• Subgroups of finitely presented groups
• Summands of Separable Abelian Groups: Dedicated to Paul Turán on his 60th Birthday
• The isomorphism problem for torsion-free abelian groups is analytic complete
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
• Universal computably enumerable equivalence relations

Cited in

(8)

• Many-sorted elementary equivalence
• A note on the equivalence of a set of egds to a set of FDs
• Enumerating abelian \(p\)-groups
• Classifications of definable subsets
• On functors enumerating structures
• Generalization of Shapiro's theorem to higher arities and noninjective notations
• ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES
• Limit learning equivalence structures

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4596664)