## A Survey of Arithmetical Definability (2002)

by
Alexis Bès

Citations: | 2 - 0 self |

### BibTeX

@MISC{Bès02asurvey,

author = {Alexis Bès},

title = {A Survey of Arithmetical Definability},

year = {2002}

}

### OpenURL

### Abstract

We survey definability and decidability issues related to first-order fragments of arithmetic, with a special emphasis on Presburger and Skolem arithmetic and their (un)decidable extensions.