COMPUTABLE LINEAR ORDERS AND PRODUCTS

DOI10.1017/jsl.2020.17zbMath1459.03064OpenAlexW3045479040MaRDI QIDQ5148100

No author found.

Publication date: 29 January 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/10356/146870

zbMATH Keywords

computable linear ordercomputable structureproduct of linear orderings

Mathematics Subject Classification ID

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

Cites Work

• Computability on linear orderings enriched with predicates
• Handbook of recursive mathematics. Vol. 1: Recursive model theory
• Computable structures and the hyperarithmetical hierarchy
• Orderings with αth Jump Degree 0 (α)
• Δ 2 0 -copies of linear orderings

This page was built for publication: COMPUTABLE LINEAR ORDERS AND PRODUCTS