Identifier

etd-04112014-114109

Degree

Doctor of Philosophy (PhD)

Department

Mathematics

Document Type

Dissertation

Abstract

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.

Date

2014

Document Availability at the Time of Submission

Release the entire work immediately for access worldwide.

Committee Chair

Delzell, Charles N

Share

COinS