2012/10/09 by Andreas Baudisch, Baudisch, Andreas, Amador Martin-Pizarro +3
Mathematics · #03C45 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03C45
paper · pdf · doi:10.48550/arxiv.1210.2552
Section 7 contains more information about ranks
arxiv created 2013/08/23 · arxiv updated 2013/08/26
The ample hierarchy of geometries of stables theories is strict. We generalise the construction of the free pseudospace to higher dimensions and show that the n-dimensional free pseudospace is ω-stable n-ample yet not (n+1)-ample. In particular, the free pseudospace is not 3-ample. A thorough study of forking is conducted and an explicit description of canonical bases is exhibited.