ON A QUESTION OF A. RETZLAFF

DOI10.1002/malq.19830290605zbMath0526.03028OpenAlexW2118380806MaRDI QIDQ3041180

Rodney G. Downey

Publication date: 1983

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19830290605

zbMATH Keywords

major subsetmaximal subspacemaximal subseteffective vector spacerecursive dependenceSteinitz closure system

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items

On speedable and levelable vector spaces ⋮ Co-immune subspaces and complementation inV_∞ ⋮ Decidable subspaces and recursively enumerable subspaces ⋮ Bases of supermaximal subspaces and Steinitz systems. I ⋮ Maximal theories ⋮ The universal complementation property ⋮ The Lattice of Computably Enumerable Vector Spaces ⋮ Sound, totally sound, and unsound recursive equivalence types ⋮ Automorphisms of supermaximal subspaces