« first day (3954 days earlier)      last day (31 days later) » 

1:31 PM
What are some open problems in commutative algebra that might help to prove that the elementary theory of finite commutative rings with unit is decidable?
 

« first day (3954 days earlier)      last day (31 days later) »