Complexity-Theoretic Algebra: Vector Space Bases
Anil Nerode, Jeffrey B. Remmel · Birkhäuser Boston eBooks · 1990
In 1975 Metakides and Nerode [16] initiated the systematic study of recursion theoretic algebra. The motivation was to establish the recursive content of mathematical constructions. The novelty then was the uniform use of the finite injury priority method from recursion theory as a tool to meet algebraic requirements. Prior to that time the priority method had been limited primarily to internal applications within recursion theory in the theory of recursively enumerable sets and in the theory of degrees of unsolvability and their generalizations. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.