In this chapter we study the structures formed by well-known relations or operations on the universe N of natural numbers, also denoted by ω. We begin with the study of the successor function, which sends the number x to x + 1; the language will consist of a symbol s to denote this function, as well as a constant symbol to denote 0, the smallest natural number.
KeywordsNatural Number Recursive Function Peano Arithmetic Quantifier Elimination Nonstandard Model
Unable to display preview. Download preview PDF.