Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

Games in finite model theory

From MaRDI portal
Publication:2721286
Jump to:navigation, search

zbMATH Open0965.03045MaRDI QIDQ2721286

Fernando R. Martínez Ortiz, Favio E. Miranda Perea

Publication date: 1 July 2001





zbMATH Keywords

Ehrenfeucht-Fraïssé gameelementary equivalencefinite model theory


Mathematics Subject Classification ID

Model theory of finite structures (03C13) Basic properties of first-order languages and structures (03C07)



Related Items (11)

Generalized quantifiers and pebble games on finite structures ⋮ Small model property reflects in games and automata ⋮ Title not available (Why is that?) ⋮ A relation-algebraic approach to simple games ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Ehrenfeucht-Fraïssé games in finite set theory ⋮ Finite high-order games and an inductive approach towards Gowers's dichotomy ⋮ Definable sets of real numbers, infinite games and core model theory ⋮ Title not available (Why is that?) ⋮ Finite games for a predicate logic without contractions






This page was built for publication: Games in finite model theory

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2721286&oldid=15573559"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 3 February 2024, at 13:48.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki