Basis theorem

• Basis theorem (computability)
• Hilbert's basis theorem
• Low basis theorem