Model theory basics

Author: Wang Shiqiang
Publisher:
Publish Date: 1987-08-01
Features: This book introduces the fundamental knowledge of model theory. The main contents include: compactness theorem, omitting types theorem, embedding theorem, complete theories and model complete theories, elementary chains, ultraproducts, model theory forcing methods, and his and models, etc. It also includes examples of the application of model theory methods to classical mathematics. This book is suitable for senior undergraduate and graduate students in mathematics majors, mathematics teachers, and mathematicians. It can also be used as a reference for teachers and scientists in other disciplines related to mathematical logic and theoretical computer science.