Talk:Presburger arithmetic

I guess the PTO of it is >ω. Is this true??? 80.98.179.160 15:26, December 29, 2017 (UTC)