On speedable and levelable vector spaces

DOI10.1016/0168-0072(94)90008-6zbMath0805.03033OpenAlexW1971583280MaRDI QIDQ1326776

Frank A. Bäuerle, Jeffery B. Remmel

Publication date: 8 June 1994

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)90008-6

zbMATH Keywords

levelabler.e. subspaces of a recursive infinite-dimensional vector spacerecursive vector spacesspeedable

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items

Splittings of effectively speedable sets and effectively levelable sets, Implicit measurements of dynamic complexity properties and splittings of speedable sets, NON-SPLITTINGS OF SPEEDABLE SETS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classification of degree classes associated with r.e. subspaces
• Two notes on recursively enumerable vector spaces
• ON A QUESTION OF A. RETZLAFF
• Decidable subspaces and recursively enumerable subspaces
• Degrees of Splittings and Bases of Recursively Enumerable Subspace
• On r.e. and co-r.e. vector spaces with nonextendible bases
• On subcreative sets and S-reducibility
• On complexity properties of recursively enumerable sets
• Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces
• Recursively enumerable vector spaces
• Recursively enumerable sets and degrees
• Computational complexity, speedable and levelable sets
• A Machine-Independent Theory of the Complexity of Recursive Functions
• Some theorems on R-maximal sets and major subsets of recursively enumerable sets
• Recursively enumerable sets of positive integers and their decision problems
• Two notes on vector spaces with recursive operations