Advertisement

Arithmetic

  • Bruno Poizat
Part of the Universitext book series (UTX)

Abstract

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.

Keywords

Natural Number Recursive Function Peano Arithmetic Quantifier Elimination Nonstandard Model 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2000

Authors and Affiliations

  • Bruno Poizat
    • 1
  1. 1.Département des MathématiquesUniversite Claude Bernard Lyon IVilleurbanne CedexFrance

Personalised recommendations