Computable transformations of structures

DOI10.1007/978-3-319-58741-7_9zbMath1433.03085OpenAlexW2612747265MaRDI QIDQ2011638

Russell G. Miller

Publication date: 4 August 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-58741-7_9

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Cites Work

• The isomorphism problem for classes of computable fields
• FINITARY REDUCIBILITY ON EQUIVALENCE RELATIONS
• A Borel reductibility theory for classes of countable structures
• Classification from a Computable Viewpoint
• A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
• Categoricity properties for computable algebraic fields
• Turing computable embeddings
• Comparing Classes of Finite Structures
• On strongly minimal sets
• COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY

This page was built for publication: Computable transformations of structures