R. e. presented linear orders

DOI10.2307/2273553MaRDI QIDQ3039336zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• Controlling the dependence degree of a recursively enumerable vector space
• Creative sets
• Effective content of field theory
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Recursively enumerable vector spaces

Cited in

(3)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3039336)