« first day (2078 days earlier)      last day (84 days later) » 

04:31
@KReiser Coherence is a condition that could use some attention in the DB. There are many undecided rings, but a lot of them seem like they should be decidable.
 
10 hours later…
14:13
Someone suggested at the crosspost to that post that $k[[\{T^{1/n}\mid n > 0\}]]/(T)$ is coherent... do you know how one might see that?

« first day (2078 days earlier)      last day (84 days later) »