This is the repository accompanying the paper Reifying dynamical algebra: maximal ideals in countable rings, constructively by Ingo Blechschmidt and Peter Schuster.
-
Notifications
You must be signed in to change notification settings - Fork 0
Reifying dynamical algebra: maximal ideals in countable rings, constructively
iblech/constructive-maximal-ideals
About
Reifying dynamical algebra: maximal ideals in countable rings, constructively
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published