FIRST ORDER DECIDABILITY AND DEFINABILITY OF INTEGERS IN