COMPUTABLE LINEAR ORDERS AND PRODUCTS
From MaRDI portal
Publication:5148100
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
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Cites Work
This page was built for publication: COMPUTABLE LINEAR ORDERS AND PRODUCTS