Fraïssé and Robinson'S Forcing
✍ Scribed by Antonio Märio Sette
- Publisher
- John Wiley and Sons
- Year
- 1981
- Tongue
- English
- Weight
- 438 KB
- Volume
- 27
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
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
## 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