A note on the expressive power of linear orders
- 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).
| Verfasserangaben: | Nicole Schweikardt, Thomas Schwentick |
|---|---|
| URN: | urn:nbn:de:hebis:30:3-240649 |
| DOI: | https://doi.org/10.2168/LMCS-7(4:7)2011 |
| ISSN: | 1860-5974 |
| ArXiv-Id: | http://arxiv.org/abs/1111.5901 |
| Titel des übergeordneten Werkes (Englisch): | Logical Methods in Computer Science |
| Verlag: | Department of Theoretical Computer Science, Technical University of Braunschweig |
| Verlagsort: | Braunschweig |
| Dokumentart: | Wissenschaftlicher Artikel |
| Sprache: | Englisch |
| Datum der Veröffentlichung (online): | 13.12.2011 |
| Datum der Erstveröffentlichung: | 13.12.2011 |
| Veröffentlichende Institution: | Universitätsbibliothek Johann Christian Senckenberg |
| Datum der Freischaltung: | 13.03.2012 |
| Jahrgang: | 7 |
| Ausgabe / Heft: | 4:07 |
| Seitenzahl: | 13 |
| Erste Seite: | 1 |
| Letzte Seite: | 13 |
| Bemerkung: | http://creativecommons.org/licenses/by-nd/2.0/ |
| HeBIS-PPN: | 31088960X |
| Institute: | Informatik und Mathematik / Informatik |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Sammlungen: | Universitätspublikationen |
| Lizenz (Deutsch): |  Creative Commons - Namensnennung-Keine Bearbeitung |
