Linear orders with distinguished function symbol

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

zbMATH Keywords

computably categoricallinear order

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Unnamed Item
• Unnamed Item
• Algorithmic properties of branching models
• Recursively rigid Boolean algebras
• Autostability of models
• Effective categoricity of equivalence structures
• Recursively Categorical Linear Orderings
• Computably categorical structures and expansions by constants

This page was built for publication: Linear orders with distinguished function symbol