David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Notre Dame Journal of Formal Logic 52 (4):403-414 (2010)
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)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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 downloads6 ( #233,320 of 1,679,375 )
Recent downloads (6 months)1 ( #182,933 of 1,679,375 )
How can I increase my downloads?