Building discretely ordered Bezout domains and GCD domains

DOI10.1006/JABR.1993.1154zbMATH Open0799.13010OpenAlexW2020846135MaRDI QIDQ687628FDOQ687628

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

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

zbMATH Keywords

GCD domainsopen induction domainBézout domains

Mathematics Subject Classification ID

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

Cited In (7)

• 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
• Real closures of models of weak arithmetic
• Independence results for variants of sharply bounded induction
• Fermat's last theorem and Bezout's theorem in GCD domains

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)