Notre Dame Journal of Formal Logic 52 (4):403-414 (2010)
|Abstract||Hrushovski proved that the theory of difference-differential fields of characteristic zero has a model-companion, which we shall denote DCFA. Previously, the author proved that this theory is supersimple. In supersimple theories there is a notion of rank defined in analogy with Lascar U -rank for superstable theories. It is also possible to define a notion of dimension for types in DCFA based on transcendence degree of realization of the types. In this paper we compute the rank of a model of DCFA, give some properties regarding rank and dimension, and give an example of a definable set with finite rank but infinite dimension. Finally we prove that for the case of definable subgroup of the additive group being finite-dimensional and having finite rank are equivalent|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Ronald F. Bustamante Medina (2011). Rank and Dimension in Difference-Differential Fields. Notre Dame Journal of Formal Logic 52 (4):403-414.
David M. Evans & Frank O. Wagner (2000). Supersimple Ω-Categorical Groups and Theories. Journal of Symbolic Logic 65 (2):767-776.
Frank Wagner (2001). Fields of Finite Morley Rank. Journal of Symbolic Logic 66 (2):703-706.
Anand Pillay & Wai Yan Pong (2002). On Lascar Rank and Morley Rank of Definable Groups in Differentially Closed Fields. Journal of Symbolic Logic 67 (3):1189-1196.
Olivier Lessmann (2003). Categoricity and U-Rank in Excellent Classes. Journal of Symbolic Logic 68 (4):1317-1336.
Anand Pillay (1995). The Geometry of Forking and Groups of Finite Morley Rank. Journal of Symbolic Logic 60 (4):1251-1259.
Adrien Deloro (2009). Actions of Groups of Finite Morley Rank on Small Abelian Groups. Bulletin of Symbolic Logic 15 (1):70-90.
Tracey McGrail (2000). The Model Theory of Differential Fields with Finitely Many Commuting Derivations. Journal of Symbolic Logic 65 (2):885-913.
Ludomir Newelski (1999). Geometry of *-Finite Types. Journal of Symbolic Logic 64 (4):1375-1395.
Ali Nesin (1991). Generalized Fitting Subgroup of a Group of Finite Morley Rank. Journal of Symbolic Logic 56 (4):1391-1399.
Jerry Gagelman (2005). A Note on Superstable Groups. Journal of Symbolic Logic 70 (2):661 - 663.
Douglas Cenzer & Rick L. Smith (1989). On the Ranked Points of a Π01 Set. Journal of Symbolic Logic 54 (3):975 - 991.
Wai Yan Pong (2000). Some Applications of Ordinal Dimensions to the Theory of Differentially Closed Fields. Journal of Symbolic Logic 65 (1):347-356.
Luis Jaime Corredor (1989). Bad Groups of Finite Morley Rank. Journal of Symbolic Logic 54 (3):768-773.
Eric Jaligot (2001). Full Frobenius Groups of Finite Morley Rank and the Feit-Thompson Theorem. Bulletin of Symbolic Logic 7 (3):315-328.
Added to index2011-11-05
Total downloads5 ( #162,017 of 556,888 )
Recent downloads (6 months)1 ( #64,931 of 556,888 )
How can I increase my downloads?