The following pages link to Ideals in computable rings (Q2456205):
Displaying 18 items.
- Infinite dimensional proper subspaces of computable vector spaces (Q402446) (← links)
- Proper divisibility in computable rings (Q504325) (← links)
- The computability, definability, and proof theory of Artinian rings (Q1628418) (← links)
- The complexity of primes in computable unique factorization domains (Q1750293) (← links)
- The complexity of module radicals (Q1982020) (← links)
- Characterizing von Neumann regular rings in reverse mathematics (Q2075285) (← links)
- The computational complexity of module socles (Q2120972) (← links)
- Reverse mathematics and semisimple rings (Q2155498) (← links)
- The complexity of radicals and socles of modules (Q2176411) (← links)
- Ring structure theorems and arithmetic comprehension (Q2219093) (← links)
- Subspaces of computable vector spaces (Q2456206) (← links)
- On the complexity of radicals in noncommutative rings (Q2655033) (← links)
- Chain conditions in computable rings (Q3065750) (← links)
- Orders on computable rings (Q5119902) (← links)
- Structure of semisimple rings in reverse and computable mathematics (Q6077944) (← links)
- Effective aspects of Jacobson radicals of rings (Q6094126) (← links)
- The complexity of decomposability of computable rings (Q6100980) (← links)
- Reverse mathematics and local rings (Q6649839) (← links)