Journals / Ege Üniversitesi Fen Fakültesi Dergisi Seri A - B / 1997 / Cilt: 20 - Sayı: 1-2

Presburger aritmetiğinin nonstandard modelleri üzerine

On nonstandard models of Presburger's arithmetic

Pages
155–159
DOI
—

Abstract

Let Pr=Th(Z , +,

Özet

Pr = Th (Z ,+,