Ehrenfeucht-Fraïssé games in finite set theory
DOI10.1016/J.IPL.2008.03.011zbMATH Open1185.03077OpenAlexW2029806155MaRDI QIDQ963464FDOQ963464
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
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
specification languagesfinite set theoryarithmetic predicatesfragments of first-order logicinexpressibilityEhrenfeucht-Fraïssé games
Model theory of finite structures (03C13) Subsystems of classical logic (including intuitionistic logic) (03B20) Nonclassical and second-order set theories (03E70)
Cites Work
- Modal logic
- Modal languages and bounded fragments of predicate logic
- Title not available (Why is that?)
- Elements of finite model theory.
- Parity, circuits, and the polynomial-time hierarchy
- Title not available (Why is that?)
- Title not available (Why is that?)
- Arithmetic, first-order logic, and counting quantifiers
- A hierarchy of formulas in set theory
- Elementary Properties of the Finite Ranks
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 application of the Ehrenfeucht-Fraisse game in formal language theory
- An Ehrenfeucht-Fraïssé game approach to collapse results in database 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)
