Effective Categoricity of Injection Structures

DOI10.1007/978-3-642-21875-0_6MaRDI QIDQ3091440zbMATH OpenOpenAlexFDO

Authors Douglas Cenzer, Valentina Harizanov, Jeffrey Remmel

Publication date 9 September 2011

Published in Models of Computation in Context (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-21875-0_6

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Computable structure theory, computable model theory (03C57)

Cites work

• \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures
• Computable structures and the hyperarithmetical hierarchy
• Effective categoricity of equivalence structures
• Equivalence structures and isomorphisms in the difference hierarchy
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 1303204 (Why is no real title available?)
• scientific article; zbMATH DE number 806746 (Why is no real title available?)

Cited in

(2)

• Injection Structures Specified by Finite State Transducers
• A robuster Scott rank

This page was built for publication: Effective Categoricity of Injection Structures

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