The elementary theory of the Cantor pairing function is decidable

Authors
Cegielski, P Grigorieff, S Richard, D
Citation
P. Cegielski et al., The elementary theory of the Cantor pairing function is decidable, CR AC S I, 331(2), 2000, pp. 107-110
Citations number
9
Categorie Soggetti
Mathematics
Journal title
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE
ISSN journal
07644442 → ACNP
Volume
331
Issue
2
Year of publication
2000
Pages
107 - 110
Database
ISI
SICI code
0764-4442(20000715)331:2<107:TETOTC>2.0.ZU;2-R
Abstract
The Canto pairing function C from N x N into N is defined by C(x,y) = (1/2) (x + y)(x + y + 1) + y. The first order theory of natural integers equippe d with the Cantor. pairing functions is decidable. (C) 2000 Academie des sc iences/Editions scientifiques ct medicales Elsevier SAS.