Completeness and Model-Completeness

Author

Paul Nathaniel Runnion, Missouri University of Science and TechnologyFollow

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.

Recommended Citation

P. N. Runnion, "Completeness and Model-Completeness," Missouri University of Science and Technology, Apr 2014.

Department(s)

Mathematics and Statistics

Document Type

Technical Report

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 2014 Missouri University of Science and Technology, All rights reserved.

Publication Date

14 Apr 2014