TY  - JOUR
A1  - Schweikardt, Nicole
A1  - Schwentick, Thomas
T1  - A note on the expressive power of linear orders
T2  - Logical Methods in Computer Science
N2  - 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).
Y1  - 2011
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/24064
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-240649
SN  - 1860-5974
N1  - http://creativecommons.org/licenses/by-nd/2.0/
VL  - 7
IS  - 4:07
SP  - 1
EP  - 13
PB  - Department of Theoretical Computer Science, Technical University of Braunschweig
CY  - Braunschweig
ER  -