Building discretely ordered Bezout domains and GCD domains

DOI10.1006/JABR.1993.1154MaRDI QIDQ687628zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Embedding GCD Domains in Bézout Domains
• scientific article; zbMATH DE number 1532184
• Divisibility properties related to star-operations on integral domains
• Fermat's last theorem and Bezout's theorem in GCD domains
• Bézout SP-Domains

Cited in

(7)

• Fermat's last theorem and Bezout's theorem in GCD domains
• Real closures of models of weak arithmetic
• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
• Addendum to ‘Embedding GCD Domains in Bezout Domains’
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
• Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024
• Independence results for variants of sharply bounded induction

This page was built for publication: Building discretely ordered Bezout domains and GCD domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q687628)