The universal complementation property

DOI10.2307/2274265zbMath0591.03024OpenAlexW2024267480MaRDI QIDQ3718696

Rodney G. Downey, Jeffery B. Remmel

Publication date: 1984

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

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

zbMATH Keywords

recursively enumerable degreefully effective vector spaceuniversal splitting property

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items

Structural interactions of the recursively enumerable T- and W-degrees, Classification of degree classes associated with r.e. subspaces, Sound, totally sound, and unsound recursive equivalence types

Cites Work

• Unnamed Item
• Recursion theory on fields and abstract dependence
• ON A QUESTION OF A. RETZLAFF
• Decidable subspaces and recursively enumerable subspaces
• The universal splitting property. II
• On r.e. and co-r.e. vector spaces with nonextendible bases
• Recursively enumerable vector spaces
• Controlling the dependence degree of a recursively enumerable vector space