Isomorphisms and definable relations on computable models

MaRDI QIDQ5457380zbMATHFDO

Authors S. S. Goncharov

Publication date 14 April 2008

zbMATH Keywords

surveycomputable categoricitycomputable structuresalgorithmic complexityScott rank\(\Pi_1^1\)-definability

Mathematics Subject Classification ID

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

Recommendations

• Isomorphism relations on computable structures
• scientific article; zbMATH DE number 1984268
• Computability-Theoretic Complexity of Countable Structures
• Computability and computable models
• Computable isomorphisms, degree spectra of relations, and Scott families

Cited in

(6)

• Coding and definability in computable structures
• scientific article; zbMATH DE number 7147443 (Why is no real title available?)
• Isomorphism of Computable Structures and Vaught's Conjecture
• Isomorphisms and algorithmic properties of structures with two equivalences
• The isomorphism property versus the special model axiom
• Categoricity and complexity of relations over algebraic structures

This page was built for publication: Isomorphisms and definable relations on computable models

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