Ehrenfeucht-Fraïssé games in finite set theory

DOI10.1016/J.IPL.2008.03.011MaRDI QIDQ963464zbMATH OpenOpenAlexFDO

Authors B. E. Eshmatov

Publication date 19 April 2010

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2008.03.011

zbMATH Keywords

specification languagesfinite set theoryarithmetic predicatesfragments of first-order logicinexpressibilityEhrenfeucht-Fraïssé games

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Subsystems of classical logic (including intuitionistic logic) (03B20) Nonclassical and second-order set theories (03E70)

Recommendations

• scientific article; zbMATH DE number 761274
• Ehrenfeucht-Fraïssé games on ordinals
• scientific article; zbMATH DE number 5295740
• Games in finite model theory
• Ehrenfeucht-Fraïssé games on omega-terms
• Ehrenfeucht–Fraïssé Games on Linear Orders
• scientific article; zbMATH DE number 4055409
• scientific article; zbMATH DE number 1342211
• On Complexity of Ehrenfeucht-Fraïssé Games
• On complexity of Ehrenfeucht-Fraïssé games

Cites work

• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 1254648 (Why is no real title available?)
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• A hierarchy of formulas in set theory
• Arithmetic, first-order logic, and counting quantifiers
• Elementary Properties of the Finite Ranks
• Elements of finite model theory.
• Modal languages and bounded fragments of predicate logic
• Modal logic
• Parity, circuits, and the polynomial-time hierarchy

Cited in

(9)

• Ehrenfeucht-Fraïssé games without identity
• Semi-algebraic sets and equilibria of binary games
• Long games and \(\sigma \)-projective sets
• Ehrenfeucht–Fraïssé Games on Linear Orders
• Silverman's game on discrete sets
• On winning Ehrenfeucht games and monadic NP
• An Ehrenfeucht-Fraïssé game approach to collapse results in database theory
• An application of the Ehrenfeucht-Fraisse game in formal language theory
• Max Euwe's Set-Theoretic Observations on the Game of Chess — Introductory Notes

This page was built for publication: Ehrenfeucht-Fraïssé games in finite set theory

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