Building discretely ordered Bezout domains and GCD domains

DOI10.1006/jabr.1993.1154zbMath0799.13010OpenAlexW2020846135MaRDI QIDQ687628

Stuart T. Smith

Publication date: 16 November 1994

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jabr.1993.1154

zbMATH Keywords

Bézout domainsGCD domainsopen induction domain

Mathematics Subject Classification ID

Applications of logic to commutative algebra (13L05) Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial) (13F15)

Related Items

Real closures of models of weak arithmetic, Fermat's last theorem and Bezout's theorem in GCD domains, Independence results for variants of sharply bounded induction, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08