Geometry of *-Finite Types
Keyword(s):
AbstractAssume T is a superstable theory with < 2ℵ0 countable models. We prove that any *- algebraic type of -rank > 0 is m-nonorthogonal to a *-algebraic type of -rank 1. We study the geometry induced by m-dependence on a *-algebraic type p* of -rank 1. We prove that after some localization this geometry becomes projective over a division ring . Associated with p* is a meager type p. We prove that p is determined by p* up to nonorthogonality and that underlies also the geometry induced by forking dependence on any stationarization of p. Also we study some *-algebraic *-groups of -rank 1 and prove that any *-algebraic *-group of -rank 1 is abelian-by-finite.
2016 ◽
Vol 152
(8)
◽
pp. 1697-1724
◽
Keyword(s):
2007 ◽
Vol 82
(3)
◽
pp. 315-324
◽
1963 ◽
Vol 22
◽
pp. 33-56
◽
1957 ◽
Vol 11
◽
pp. 125-130
◽
Keyword(s):
1976 ◽
Vol 79
(3)
◽
pp. 401-425
◽
Keyword(s):
2018 ◽
Vol 19
(4)
◽
pp. 1031-1091
1991 ◽
Vol 51
(3)
◽
pp. 400-422
◽
2015 ◽
Vol 59
(4)
◽
pp. 911-924
◽