Rank and Dimension in Difference-Differential Fields
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) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Configure |
Similar books and articlesRonald 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.
Analytics
Monthly downloads |
Added to index2011-11-05Total downloads5 ( #162,017 of 556,888 )Recent downloads (6 months)1 ( #64,931 of 556,888 )How can I increase my downloads? |
My notes
Discussion
