Linear orders with distinguished function symbol
From MaRDI portal
Publication:1005923
DOI10.1007/s00153-008-0112-4zbMath1162.03019MaRDI QIDQ1005923
Douglas Cenzer, Bakhadyr Khoussainov, Barbara F. Csima
Publication date: 17 March 2009
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-008-0112-4
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Cites Work