We provide a general framework for studying the expansion of strongly minimal sets by adding additional relations in the style of Hrushovski. We introduce a notion of separation of quantifiers which is a condition on the class of expansions of finitely generated models for the expanded theory to have a countable ω-saturated model. We apply these results to construct for each sufficiently fast growing finite-to-one function μ from 'primitive extensions' to the natural numbers a theory T μ of an expansion (...) of an algebraically closed field which has Morley rank 2. Finally, we show that if μ is not finite-to-one the theory may not be ω-stable. (shrink)

Ni konstruas nun malbonajn korpojn, kun malfinita Morleya ranko, kiuj estas ricevitaj per memsuficanta amalgameco de korpoj kun unara predikato nomanta sumigan au obligan subgrupon, ciam lau la Hrushovskija maniero. Al uzado de ciuj kiuj la anglujon malkonprenas, tiel tradukigas la supera citajo : "Estas prava ke tiu ci kiu kun la sago interrilatigas, la sagecon rikoltas". Gustatempe, la autoro varmege dankas ciujn kiuj la korektan citajon sendis al li, speciale la unuan respondinton : David KUEKER.