Skip to main content Accessibility help
Internet Explorer 11 is being discontinued by Microsoft in August 2021. If you have difficulties viewing the site on Internet Explorer 11 we recommend using a different browser such as Microsoft Edge, Google Chrome, Apple Safari or Mozilla Firefox.

Chapter 7: Model Theory

Chapter 7: Model Theory

pp. 213-252

Authors

, Grinnell College, Iowa
  • Add bookmark
  • Cite
  • Share

Summary

In many areas of mathematics (like partial orderings, groups, or graphs), we write down some axioms and immediately have several different models of these axioms in mind. In the setting of first-order logic, this corresponds to writing down a set Σ of sentences in a language and looking at the elementary class Mod(∑). Since Mod(Σ)=Mod(Cn(Σ)) by Proposition 6.5.3, and Cn(Σ) is a theory by Proposition 6.5.4, we can view this situation as looking at the (elementary) class of models of a theory.

About the book

Access options

Review the options below to login to check your access.

Purchase options

eTextbook
US$69.00
Hardback
US$69.00

Have an access code?

To redeem an access code, please log in with your personal login.

If you believe you should have access to this content, please contact your institutional librarian or consult our FAQ page for further information about accessing our content.

Also available to purchase from these educational ebook suppliers