On the isomorphism problem for some classes of computable algebraic structures

DOI10.1007/S00153-021-00811-5MaRDI QIDQ2155501zbMATH OpenOpenAlexFDO

Authors Steffen Lempp, Valentina Harizanov, Charles McCoy, Andrei S. Morozov, 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

computable structuredistributive latticeeffective transformationisomorphism problemnilpotent structure

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1568930
• The isomorphism problem for computable Abelian _p-groups of bounded length
• Computable transformations of structures
• Complexity of some natural problems on the class of computable I-algebras

Cites work

• A Borel reductibility theory for classes of countable structures
• Degree spectra of relations on structures of finite computable dimension
• Effective categoricity of equivalence structures
• Functional trees and automorphisms of models
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 1302877 (Why is no real title available?)
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• INTERPRETING A FIELD IN ITS HEISENBERG GROUP
• On a correspondence between rings and groups
• On automorphic tuples of elements in computable models
• Recursive Pseudo-Well-Orderings
• The isomorphism problem for classes of computable fields
• The isomorphism problem for torsion-free abelian groups is analytic complete

Cited in

(9)

• The isomorphism problem for FST injection structures
• On the isomorphism problem of concept algebras
• scientific article; zbMATH DE number 4073256 (Why is no real title available?)
• scientific article; zbMATH DE number 1302479 (Why is no real title available?)
• scientific article; zbMATH DE number 1332670 (Why is no real title available?)
• scientific article; zbMATH DE number 7147443 (Why is no real title available?)
• COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS
• Isomorphism of Computable Structures and Vaught's Conjecture
• The isomorphism problem for classes of computable fields

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

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