The universal complementation property

DOI10.2307/2274265MaRDI QIDQ3718696zbMATH OpenOpenAlexFDO

Authors Rodney G. Downey, Jeffrey 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

fully effective vector spacerecursively enumerable degreeuniversal splitting property

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Recommendations

• Universality is a \(\Sigma^1_1\)-complete property
• Universal properties of Łukasiewicz consequence
• scientific article; zbMATH DE number 549856
• Universality, Reducibility, and Completeness
• Generalization of the invariantly cometrizable property
• The direct sum of universal relations
• scientific article; zbMATH DE number 6158046
• On a property of additive complements
• Another look at complementation properties
• Theorems of the complement

Cites work

• Controlling the dependence degree of a recursively enumerable vector space
• Decidable subspaces and recursively enumerable subspaces
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• ON A QUESTION OF A. RETZLAFF
• On r.e. and co-r.e. vector spaces with nonextendible bases
• Recursion theory on fields and abstract dependence
• Recursively enumerable vector spaces
• The universal splitting property. II

Cited in

(6)

• Structural interactions of the recursively enumerable T- and W-degrees
• Classification of degree classes associated with r.e. subspaces
• Universal properties of Łukasiewicz consequence
• Co-immune subspaces and complementation inV_∞
• scientific article; zbMATH DE number 549856 (Why is no real title available?)
• Sound, totally sound, and unsound recursive equivalence types

This page was built for publication: The universal complementation property

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