A note on the expressive power of linear orders

DOI10.2168/LMCS-7(4:7)2011zbMath1237.03006arXiv1111.5901MaRDI QIDQ3224697

Nicole Schweikardt, Thomas Schwentick

Publication date: 2 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1111.5901

zbMATH Keywords

first-order logiclinear ordersexpressivenessBit predicateCrane-Beach property

Mathematics Subject Classification ID

Classical first-order logic (03B10) Model theory of finite structures (03C13) Total orders (06A05) Descriptive complexity and finite models (68Q19)

This page was built for publication: A note on the expressive power of linear orders