completeness and model-completeness.docVIP

Completeness and Model-Completeness Paul Runnion Abstract. Completeness and model-completeness are important in model theory and heavily tied to field theory. Following an introduction with definitions of crucial background concepts, we examine the basics of completeness, including Vaught’s test and an important tie to field theory. We also explore the basics of model-completeness, emphasizing its relationship to completeness and to field theory. 0. Introduction The related concepts of completeness and model-completeness are fundamental concepts of model theory. These concepts are also heavily tied to algebra—specifically, field theory. Before tackling these concepts, we must first explore some necessary background information. As we begin our investigation of completeness, an understanding of deducibility will prove important. 0.1. Definition. A deduction (or proof) of φ from Γ is a finite sequence of formulas such that αn is φ and for each , either (a) αk is in (where Λ is an infinite set of logical axioms), or (b) αk is obtained by modus ponens from two earlier formulas in the sequence Whenever φ is deducible from Γ, we write , and we say that φ is a theorem of Γ. Additionally, we can connect the idea of deducibility with the idea of closure: 0.2. Definition. The deductive closure of a set of sentences Γ is the set of all sentences deducible from Γ. If Γ is its own deductive closure, it is called deductively closed. Prior to continuing, we also must examine some important ideas in field theory. First is that of an extension field. 0.3. Definition. A field E is an extension field of a field F if F is a subfield of E and the operations of F are those of E restricted to F. This concept finds itself in a result sometimes referred to as the Fundamental Theorem of Field Theory, a hint at the importance of extension fields. In this exploration, we will encounter a characterization based on a specific type of extension field known as an algebraic extensio