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 10: Set-Theoretic Methods in Model Theory

Chapter 10: Set-Theoretic Methods in Model Theory

pp. 349-366

Authors

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

Summary

Many of our powerful results about first-order logic, such as the Löwenheim–Skolem Theorem and the Łoś-Vaught Test, focused on countable structures in countable languages. Now that we have a well-developed theory of infinite cardinalities, we can extend these results into the uncountable realm. In addition to the satisfaction we obtain through such generalizations, we will be able to argue that some other important theories are complete, and further refine our intuition about the inability of first-order logic to delineate between infinite cardinalities.

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