Reifying dynamical algebra: maximal ideals in countable rings, constructively
-
Updated
Mar 11, 2024 - TeX
Reifying dynamical algebra: maximal ideals in countable rings, constructively
Ph.D. thesis of Jared Corduan - Coloring Posets and Reverse Mathematics
Add a description, image, and links to the forcing topic page so that developers can more easily learn about it.
To associate your repository with the forcing topic, visit your repo's landing page and select "manage topics."