Abstract
AbstractKrull’s Fundamentalsatz, the generalisation of the main theorem of elementary number theory to integral domains, is the starting point of Lorenzen’s career in mathematics. This article traces a conceptual history of Lorenzen’s successive reformulations of the Fundamentalsatz on the basis of excerpts of his articles. An edition of the extant correspondence of Lorenzen with Hasse, Krull, and Aubert provides a better understanding of the context of these investigations.
Publisher
Springer International Publishing
Reference16 articles.
1. Clifford, A. H. (1940). Partially ordered abelian groups. Annals of Mathematics, 2(41), 465–473. https://doi.org/10.2307/1968728.
2. Coquand, T., Lombardi, H., & Neuwirth, S. (2020). Regular entailment relations. this, 101–112.
3. Coquand, T., Lombardi, H., & Neuwirth, S. (2019). Lattice-ordered groups generated by an ordered group and regular systems of ideals. Rocky Mountain Journal of Mathematics, 49, 1449–1489. https://doi.org/10.1216/rmj-2019-49-5-1449.
4. Coquand, T., & Neuwirth, S. (2020). Lorenzen’s proof of consistency for elementary number theory. History and Philosophy of Logic,. https://doi.org/10.1080/01445340.2020.1752034.
5. Krull, W. (1926). Axiomatische Begründung der allgemeinen Idealtheorie. Sitzungsberichte der Physikalisch-Medicinischen Societät zu Erlangen, 56–57(1924–1925), 47–63.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献