An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers

DOI10.1007/978-3-319-23534-9_13zbMath1465.03075arXiv1510.06581OpenAlexW1795770718MaRDI QIDQ2947176

Saharon Shelah, Simi Haber

Publication date: 22 September 2015

Published in: Fields of Logic and Computation II (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic with extra quantifiers and operators (03C80) Set-theoretic model theory (03C55)

Cites Work

• Upper and lower bounds for first order expressibility
• An optimal lower bound on the number of variables for graph identification
• Generalized quantifiers and pebble games on finite structures
• On characterizability in Lω1ω0
• On Relations between Structures
• An application of games to the completeness problem for formalized theories
• On Moschovakis closure ordinals
• Generalized Ehrenfeucht games
• Deux ou trois choses que je sais de L_n
• On Extensions of Elementary Logic
• Finite Model Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers