Axiomatizing rectangular grids with no extra non-unary relations
Abstract
We construct a formula $\phi$ which axiomatizes non-narrow rectangular grids without using any binary relations other than the grid neighborship relations. As a corollary, we prove that a set $A \subseteq \mathbb{N}$ is a spectrum of a formula which has only planar models if numbers $n \in A$ can be recognized by a non-deterministic Turing machine (or a one-dimensional cellular automaton) in time $t(n)$ and space $s(n)$, where $t(n)s(n) \leq n$ and $t(n),s(n) = \Omega(\log(n))$.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2019
- DOI:
- 10.48550/arXiv.1912.09797
- arXiv:
- arXiv:1912.09797
- Bibcode:
- 2019arXiv191209797K
- Keywords:
-
- Computer Science - Logic in Computer Science;
- 68Q19;
- F.4.0
- E-Print:
- 9 pages, 1 figure