Constructive Analysis of Maximal Ideals in $\mathbb {Z}[X]$ by the Material Interpretation.

Franziskus Wiesnet

Browse the full CiE paper archive.