Ehrenfeucht–Fraïssé Games on Linear Orders

DOI10.1007/978-3-540-73445-1_6zbMath1211.03056OpenAlexW1589510625MaRDI QIDQ3612654

Ryan Bissell-Siders

Publication date: 10 March 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73445-1_6

zbMATH Keywords

completionEhrenfeucht-Fraïssé gamelinear orderdecision proceduresemimodel

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13) Model theory of ordered structures; o-minimality (03C64)

Related Items (2)

Ehrenfeucht-Fraïssé games on ordinals ⋮ Classification of finite coloured linear orderings

This page was built for publication: Ehrenfeucht–Fraïssé Games on Linear Orders