Ehrenfeucht–Fraïssé Games on Linear Orders

DOI10.1007/978-3-540-73445-1_6zbMATH Open1211.03056OpenAlexW1589510625MaRDI QIDQ3612654FDOQ3612654

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

decision procedurecompletionlinear ordersemimodelEhrenfeucht-Fraïssé game

Mathematics Subject Classification ID

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

Cited In (5)

• Ehrenfeucht-Fraïssé games on ordinals
• Ehrenfeucht-Fraïssé games without identity
• Abelian \(p\)-groups with no invariants
• Ehrenfeucht-Fraïssé games in finite set theory
• Classification of finite coloured linear orderings

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On complexity of Ehrenfeucht-Fraïssé games 👍 👎
• Games and Lindström theorems 👍 👎
• On Complexity of Ehrenfeucht-Fraïssé Games 👍 👎
• Ehrenfeucht-Fraïssé games in finite set theory 👍 👎
• Ehrenfeucht-Fraïssé games on ordinals 👍 👎
• Ehrenfeucht-Fraisse Games on Omega-Terms 👍 👎
• Ehrenfeucht-Fraïssé Games on Random Structures 👍 👎
• EHRENFEUCHT-FRAÏSSÉ GAMES ON A CLASS OF SCATTERED LINEAR ORDERS 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612654)