Semantics of First-Order Languages

Part of the Universitext book series (UTX)

In the previous chapter, we presented the syntactical notions pertaining to first-order theories. However, in general, mathematical theories are not developed syntactically. There is, of course, one serious exception to this: essentially, due to its foundational nature, axiomatic set theory is developed syntactically. Since set theory is needed for proving independence results, the syntactical approach is quite important for mathematics. In this chapter we give the semantics of first-order languages to connect the syntactical description of a theory with the setting in which a mathematical theory is generally developed.


Choice Function Function Symbol Atomic Formula Constant Symbol Peano Arithmetic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2008

Personalised recommendations