Two notes on vector spaces with recursive operations

DOI10.1305/ndjfl/1093894296zbMath0214.01702OpenAlexW2083181122MaRDI QIDQ5921243

J. C. E. Dekker

Publication date: 1971

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093894296

Mathematics Subject Classification ID

Vector spaces, linear dependence, rank, lineability (15A03) Computability and recursion theory (03D99)

Related Items (4)

On speedable and levelable vector spaces ⋮ On the lattices of NP-subspaces of a polynomial time vector space over a finite field ⋮ Complexity-theoretic algebra. II: Boolean algebras ⋮ Effective dimension

This page was built for publication: Two notes on vector spaces with recursive operations