Effective Categoricity of Injection Structures

DOI10.1007/978-3-642-21875-0_6zbMath1345.03062OpenAlexW143588397MaRDI QIDQ3091440

Douglas Cenzer, Jeffery B. Remmel, Valentina S. Harizanov

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

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

Related Items

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

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
• Unnamed Item
• Unnamed Item
• Unnamed Item