Fermat's last theorem and Bezout's theorem in GCD domains

DOI10.1016/0022-4049(92)90127-2zbMath0770.13014OpenAlexW1981902830MaRDI QIDQ1196796

Stuart T. Smith

Publication date: 16 January 1993

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(92)90127-2

zbMATH Keywords

Fermat's last theoremopen induction

Mathematics Subject Classification ID

Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial) (13F15) Models of arithmetic and set theory (03C62)

Related Items (4)

Some weak fragments of HA and certain closure properties ⋮ Prime numbers and factorization in IE₁ and weaker systems ⋮ Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics ⋮ On the diophantine equation \(x^{10}{\pm{}}y^{10}=z^ 2\)

Cites Work

• Building discretely ordered Bezout domains and GCD domains
• On the diophantine equation \(x^{10}{\pm{}}y^{10}=z^ 2\)
• New Congruences for the Bernoulli Numbers
• Bounded existential induction
• A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
• Solutions of A k + B k = C k in n × n Integral Matrices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Fermat's last theorem and Bezout's theorem in GCD domains