A note on the expressive power of linear orders
Logic in Computer Science
2015-07-01 v2
Abstract
This article shows that there exist two particular linear orders such that first-order logic with these two linear orders has the same expressive power as first-order logic with the Bit-predicate FO(Bit). As a corollary we obtain that there also exists a built-in permutation such that first-order logic with a linear order and this permutation is as expressive as FO(Bit).
Keywords
Cite
@article{arxiv.1111.5901,
title = {A note on the expressive power of linear orders},
author = {Thomas Schwentick and Nicole Schweikardt},
journal= {arXiv preprint arXiv:1111.5901},
year = {2015}
}