References & Citations
Computer Science > Logic in Computer Science
Title: Infinite and Bi-infinite Words with Decidable Monadic Theories
(Submitted on 11 Dec 2017 (v1), last revised 17 Aug 2018 (this version, v3))
Abstract: We study word structures of the form $(D,<,P)$ where $D$ is either $\mathbb{N}$ or $\mathbb{Z}$, $<$ is the natural linear ordering on $D$ and $P\subseteq D$ is a predicate on $D$. In particular we show:
(a) The set of recursive $\omega$-words with decidable monadic second order theories is $\Sigma_3$-complete.
(b) Known characterisations of the $\omega$-words with decidable monadic second order theories are transfered to the corresponding question for bi-infinite words.
(c) We show that such "tame" predicates $P$ exist in every Turing degree.
(d) We determine, for $P\subseteq\mathbb{Z}$, the number of predicates $Q\subseteq\mathbb{Z}$ such that $(\mathbb{Z},\le,P)$ and $(\mathbb{Z},\le,Q)$ are indistinguishable.
Through these results we demonstrate similarities and differences between logical properties of infinite and bi-infinite words.
Submission history
From: Aleš Bizjak [view email] [via LOGICAL proxy][v1] Mon, 11 Dec 2017 13:14:46 GMT (26kb)
[v2] Thu, 21 Jun 2018 13:14:07 GMT (25kb)
[v3] Fri, 17 Aug 2018 11:53:52 GMT (34kb,D)
Link back to: arXiv, form interface, contact.