Doctor of Philosophy (PhD)
In this work we begin with a brief survey of set theory and arithmetic to provide background for a logical procedure to `cleanse' the Axiom of Choice from a proof of a theorem of Kochen's. We accomplish this in the following chapters. We then discuss certain theorems involving definable Skolem functions. These theorems are used in Chapter 5 to give a construction of a p-adic closure of a p-valued field. Certain further considerations and open questions are addressed in the _x000C_final chapter.
Document Availability at the Time of Submission
Release the entire work immediately for access worldwide.
Eakins, Evan Michael, "Constructive aspects of Kochen's theorem on p-adic closures" (2014). LSU Doctoral Dissertations. 1936.
Delzell, Charles N