Master of Science
This paper presents a review of the literature on applications of the Completeness Theorem, presented within the framework of arithmetical classes. Generalized methods of application are first offered; a new result is introduced which simplifies many of the examples appearing in the literature. Applications to group theory, Boolean algebra, and set theory are then considered, with special consideration given to the relationship between the Completeness Theorem and the Axiom of Choice.
Caldwell, Gordon R., "Applications of the completeness theorem of logic to mathematics" (1967). Theses and Dissertations. 3497.