scientific article; zbMATH DE number 176212

MaRDI QIDQ4035316zbMATH OpenFDO

Authors Jeffrey Remmel, Anil Nerode

Publication date 18 May 1993

zbMATH Keywords

oraclepolynomial-time presentations of vector spacesrecursive vector space

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Other constructive mathematics (03F65) Vector spaces, linear dependence, rank, lineability (15A03)

Recommendations

• scientific article; zbMATH DE number 4087025
• On speedable and levelable vector spaces
• On the lattices of NP-subspaces of a polynomial time vector space over a finite field
• Decidable subspaces and recursively enumerable subspaces
• scientific article; zbMATH DE number 1302879

Cited in

(7)

• Feasible graphs with standard universe
• A theory of nonmonotonic rule systems I
• Complexity and categoricity
• On the lattices of NP-subspaces of a polynomial time vector space over a finite field
• scientific article; zbMATH DE number 4087025 (Why is no real title available?)
• scientific article; zbMATH DE number 1535823 (Why is no real title available?)
• Feasibly categorical models

This page was built for publication:

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