除子环与 Krull 环（一种构造性方法）
Anneaux à diviseurs et anneaux de Krull (une approche constructive)
AI总结：
本文以 Bishop 风格，为 Prüfer v-乘法整环（anneaux à diviseurs）和 Krull 整环理论提供初等且构造性的版本，将经典结果转化为显式算法，且不依赖完全分解假设。
摘要：
我们给出了“Prüfer v-乘法整环”（在本文中称为“anneaux à diviseurs”）和 Krull 整环理论的一个初等且构造性的版本。这些理论的主要结果从构造性观点被重新审视，遵循 Bishop 风格，且不假设完全分解性质。本文中，我们以 Bishop 风格呈现了除子理论和 Krull 环的一种构造性方法。我们将核心地位赋予“anneaux à diviseurs”，在英文文献中称为 PvMD。经典结果作为显式算法的结果被获得，而无需诉诸完全分解假设。
英文摘要：
We give give an elementary and constructive version of the theory of "Prüfer v-Multiplication Domains" (which we call "anneaux à diviseurs" in the paper) and Krull Domains. The main results of these theories are revisited from a constructive point of view, following the Bishop style, and without assuming properties of complete factorizations. Nous présentons dans cet article une approche constructive, dans le style de Bishop, de la théorie des diviseurs et des anneaux de Krull. Nous accordons une place centrale aux "anneaux à diviseurs," appelés PvMD dans la littérature anglaise. Les résultats classiques sont obtenus comme résultats d'algorithmes explicites sans faire appel aux hypothèses de factorisation complète.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
