A Partial Characterization of Ehrenfeucht-Fräıssé Games on Fields and Vector Spaces
نویسندگان
چکیده
In this paper we examine Ehrenfeucht-Fräıssé (EF) games on fields and vector spaces. We find the exact length of the EF game on two algebraically closed fields of finite transcendence degree over Q or Z/pZ. We also determine an upper bound on the length of any EF game on models (F1 ,F1) and (F m 2 ,F2 of vector spaces where m = n and a lower bound for the special case F1 = F2.
منابع مشابه
Almost free groups and Ehrenfeucht-Fräıssé games for successors of singular cardinals
We strengthen non-structure theorems for almost free Abelian groups by studying long Ehrenfeucht-Fräıssé games between a fixed group of cardinality λ and a free Abelian group. A group is called ǫ-game-free if the isomorphism player has a winning strategy in the game (of the described form) of length ǫ ∈ λ. We prove for a large set of successor cardinals λ = μ the existence of nonfree (μ · ω1)-g...
متن کاملA Friendly Introduction to Ehrenfeucht-Fräıssé Games
Assuming some basic familiarity with ordinal arithmetic, we provide a friendly introduction to the theory of Ehrenfeucht-Fräıssé games. 1 What Is An Ehrenfeucht-Fräıssé Game? Ehrenfeucht-Fräıssé (EF) games were first developed in the 50’s and 60’s by Andrzej Ehrenfeucht and Roland Fräıssé. Although Fräıssé developed much of the background theory and some important applications in his doctoral d...
متن کاملEhrenfeucht-Fräıssé goes elementarily automatic for structures of bounded degree
Many relational structures are automatically presentable, i.e. elements of the domain can be seen as words over a finite alphabet and equality and other atomic relations are represented with finite automata. The first-order theories over such structures are known to be primitive recursive, which is shown by the inductive construction of an automaton representing any relation definable in the fi...
متن کاملConcurrent vector fields on Finsler spaces
In this paper, we prove that a non-Riemannian isotropic Berwald metric or a non-Riemannian (α,β) -metric admits no concurrent vector fields. We also prove that an L-reducible Finsler metric admitting a concurrent vector field reduces to a Landsberg metric.In this paper, we prove that a non-Riemannian isotropic Berwald metric or a non-Riemannian (α,β) -metric admits no concurrent vector fi...
متن کاملON LOCAL BOUNDEDNESS OF I-TOPOLOGICAL VECTOR SPACES
The notion of generalized locally bounded $I$-topological vectorspaces is introduced. Some of their important properties arestudied. The relationship between this kind of spaces and thelocally bounded $I$-topological vector spaces introduced by Wu andFang [Boundedness and locally bounded fuzzy topological vectorspaces, Fuzzy Math. 5 (4) (1985) 87$-$94] is discussed. Moreover, wealso use the fam...
متن کامل