Two-to-one structures

DOI10.1093/logcom/ext040zbMath1327.03026OpenAlexW2033003213MaRDI QIDQ5406114

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

Publication date: 1 April 2014

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/ext040

zbMATH Keywords

chainstreescomputability theoryinjectionseffective categoricitylocally finite structurestwo-to-one functions

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items

Computable isomorphisms for certain classes of infinite graphs