On the expressiveness of Büchi arithmetic

Prelegent(ci)

Jakub Różycki

Afiliacja

MIM UW

Termin

14 kwietnia 2021 14:15

Informacje na temat wydarzenia

online

Seminarium

Seminarium „Teoria automatów”

---

Büchi arithmetic is a logical theory that is important for us, because it is equivalent to regular languages. We show that the existential fragment of Büchi arithmetic is strictly less expressive than full Büchi arithmetic of any base, and moreover establish that its ∃*∀*-fragment is already expressively complete.

---