$\Sigma^0_1$ and $\Pi^0_1$ Equivalence Structures

DOI10.1007/978-3-642-03073-4_11zbMath1239.03023OpenAlexW69807563MaRDI QIDQ3576042

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

Publication date: 28 July 2010

Published in: Mathematical Theory and Computational Practice (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03073-4_11

zbMATH Keywords

computability theorycomputable model theoryeffective categoricityequivalence structures

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items

A note on decidable categoricity and index sets, Isomorphism relations on computable structures, Classifications of definable subsets, Limitwise monotonic sequences and degree spectra of structures

Cites Work

• Unnamed Item
• Unnamed Item
• Computable categoricity and the Ershov hierarchy
• Effective categoricity of equivalence structures
• Equivalence structures and isomorphisms in the difference hierarchy
• Combinational functors on co-r.e. structures
• Recursively enumerable vector spaces