Reverse Mathematics and Algebraic Field Extensions
François G. Dorais, Jeffry L. Hirst, Paul Shafer · Computability · 2013
This paper analyzes theorems about algebraic field extensions using the techniques of reverse mathematics. In section §2, we show that WKL0 is equivalent to the ability to extend F -automorphisms of field extensions to automorphisms of $\bar F$ , the