5 citations · 8 across the 4 of their papers we have counts for
4 papers
The Galois characterisation of -adically closed fields -- A modern perspective
Leo Gitin, Jochen Koenigsmann, Benedikt Stock
In 1927, Artin and Schreier showed that a field is real closed if and only if its absolute Galois group has order two. Inspired by this characterisation and drawing on earlier work…
Mathematical Proof Between Generations
Jonas Bayer, Christoph Benzmüller, Kevin Buzzard +7
A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This…
An elementary proof of the local Kronecker-Weber theorem
Jochen Koenigsmann, Benedikt Stock
We will present a novel elementary, self-contained, and explicit proof of the local Kronecker-Weber theorem. Apart from discrete valuation theory, it does not make use of any tools…
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle
Jonas Bayer, Marco David, Abhik Pal +1
How difficult are interactive theorem provers to use? We respond by reviewing the formalization of Hilbert's tenth problem in Isabelle/HOL carried out by an undergraduate research…