R. e. presented linear orders

DOI10.2307/2273553zbMath0525.03032OpenAlexW2021293861MaRDI QIDQ3039336

Dev K. Roy

Publication date: 1983

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

Full work available at URL: https://doi.org/10.2307/2273553

zbMATH Keywords

linear orders

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items (3)

Finite condensations of recursive linear orders ⋮ Weakly semirecursive sets and r.e. orderings ⋮ Recursive versus recursively enumerable binary relations

Cites Work

• Unnamed Item
• Unnamed Item
• Effective content of field theory
• Recursively enumerable vector spaces
• Controlling the dependence degree of a recursively enumerable vector space
• Creative sets

This page was built for publication: R. e. presented linear orders