Author:
Schuster Peter,Wessel Daniel
Abstract
AbstractKrull’s Maximal Ideal Theorem (MIT) is one of the most prominent incarnations of the Axiom of Choice (AC) in ring theory. For many a consequence of AC, constructive counterparts are well within reach, provided attention is turned to the syntactical underpinning of the problem at hand. This is one of the viewpoints of the revised Hilbert Programme in commutative algebra, which will here be carried out for MIT and several related classical principles.
Publisher
Springer International Publishing
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献