Computability on linear orderings enriched with predicates
From MaRDI portal
Publication:431704
DOI10.1007/s10469-009-9067-8zbMath1241.03055MaRDI QIDQ431704
Publication date: 29 June 2012
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-009-9067-8
Related Items
COMPUTABLE LINEAR ORDERS AND PRODUCTS, Initial segments of computable linear orders with computable natural relations, Cuts of linear orders, On a computable presentation of low linear orderings, A computably enumerable partial ordering without computably enumerable maximal chains and antichains, Computable linear orders and the Ershov hierarchy, Computable linear orders and limitwise monotonic functions, Degree spectra of structures, Computable presentability of countable linear orders, Computable linear orders and the ershov hierarchy, Algorithmic relationships of relations \(S_{\mathcal{L}}^n\) on linear orders, Scattered linear orderings with no computable presentation, Codings on linear orders and algorithmic independence of natural relations
Cites Work
- Computable Boolean algebras
- Jumps of Orderings
- A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings
- A construction for recursive linear orderings
- Every Low Boolean Algebra is Isomorphic to a Recursive One
- Every Low 2 Boolean Algebra has a Recursive Copy
- Δ 2 0 -copies of linear orderings
- Hierarchies of Boolean algebras