On the isomorphism problem for some classes of computable algebraic structures

DOI10.1007/S00153-021-00811-5OpenAlexW4206777607MaRDI QIDQ2155501

Steffen Lempp, Charles F. D. McCoy, Valentina S. Harizanov, Andrey S. Morozov, D. Reed Solomon

Publication date: 15 July 2022

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

Full work available at URL: https://doi.org/10.1007/s00153-021-00811-5

zbMATH Keywords

distributive latticeisomorphism problemcomputable structurenilpotent structureeffective transformation

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The isomorphism problem for classes of computable fields
• The isomorphism problem for torsion-free abelian groups is analytic complete
• Functional trees and automorphisms of models
• Degree spectra of relations on structures of finite computable dimension
• Effective categoricity of equivalence structures
• A Borel reductibility theory for classes of countable structures
• INTERPRETING A FIELD IN ITS HEISENBERG GROUP
• On a correspondence between rings and groups
• Recursive Pseudo-Well-Orderings

This page was built for publication: On the isomorphism problem for some classes of computable algebraic structures