Constructive deciphering of classical proofs: the Artin theorem in Galois theory

MaRDI QIDQ3620478zbMATH OpenFDO

Authors Henri Lombardi, Claude Quitté

Publication date 14 April 2009

zbMATH Keywords

Galoisian algebrasin commutative ring theoryproof of Artin's theorem in Galois theory

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Separable extensions, Galois theory (12F10)

Recommendations

• Constructive rereading of Artin-Schreier theory
• Constructive algebra
• scientific article; zbMATH DE number 1082910
• Approximating classical theorems
• scientific article; zbMATH DE number 29408

Cited in

(1)

• Constructive rereading of Artin-Schreier theory

This page was built for publication: Constructive deciphering of classical proofs: the Artin theorem in Galois theory

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