This is the repository accompanying the paper Reifying dynamical algebra: maximal ideals in countable rings, constructively by Ingo Blechschmidt and Peter Schuster.
Reifying dynamical algebra: maximal ideals in countable rings, constructively
This is the repository accompanying the paper Reifying dynamical algebra: maximal ideals in countable rings, constructively by Ingo Blechschmidt and Peter Schuster.
Reifying dynamical algebra: maximal ideals in countable rings, constructively
https://iblech.github.io/constructive-maximal-ideals/