Artin's theorem towards the existence of algebraic closures

DOI10.2478/FORMA-2022-0014MaRDI QIDQ6489410

Christoph Schwarzweller

Publication date: 22 April 2024

Published in: Formalized Mathematics (Search for Journal in Brave)

zbMATH Keywords

algebraic closuresemil Artinpolynomial rings with countably infinite number of variables

Mathematics Subject Classification ID

Algebraic field extensions (12F05) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• The role of the Mizar mathematical library for interactive proof development in Mizar
• Field extensions and Kronecker's construction
• On roots of polynomials over \(F[X/

  \)]

• Mizar: State-of-the-art and Beyond

This page was built for publication: Artin's theorem towards the existence of algebraic closures