Linear orders with distinguished function symbol
From MaRDI portal
Publication:1005923
DOI10.1007/s00153-008-0112-4zbMath1162.03019OpenAlexW2066080230MaRDI 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
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Cites Work