This paper introduces a new Ehrenfeucht-Fraïssé type game that is played on two classes of models rather than just two models. This game extends and generalizes the known Ajtai-Fagin game to the case when there are several alternating (coloring) moves played in different models. The game allows Dupl
Continuous Fraïssé Conjecture
✍ Scribed by Arnold Beckmann; Martin Goldstern; Norbert Preining
- Publisher
- Springer Netherlands
- Year
- 2008
- Tongue
- English
- Weight
- 472 KB
- Volume
- 25
- Category
- Article
- ISSN
- 0167-8094
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
## Abstract Assuming certain conditions on a class \documentclass{article}\usepackage{amssymb,amsmath,mathrsfs}\begin{document}\pagestyle{empty}$\mathscr{C}$\end{document} of finitely generated first‐order structures admitting the model‐theoretical construction of a Fraïssé limit, we characterize r
Trees are natural generalizations of ordinals and this is especially apparent when one tries to ÿnd an uncountable analogue of the concept of the Scott-rank of a countable structure. The purpose of this paper is to introduce new methods in the study of an ordering between trees whose analogue is the
An Abelian group G is strongly -free i G is L ∞; -equivalent to a free Abelian group i the isomorphism player has a winning strategy in an Ehrenfeucht-Fra ssà e game of length ! between G and a free Abelian group. We study possible longer Ehrenfeucht-Fra ssà e games between a nonfree group and a fre