Report - Main results. -Presburger sentence alternating quanti erspak/papers/HNP-alphapa.pdf · Theorem 1.2. Let 2Q be a quadratic irrational number, and let r 1. An -PA sentence Swith ralternating

Please pass captcha verification before submit form