Èíôîðìàöèîííàÿ ñèñòåìà "Êîíôåðåíöèè"



The 9th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts


Model theory and set theory

On elimination of imaginaries for generic structures

Verbovskiy V.V.

Institute for Problems of Informatics and Control of Ministry of Education and Science of the Republic of Kazakhstan (Almaty)

We show a sufficient condition guaranteeing that an elementary theory of a generic omega-stable structure (in an arbitrary relational language) obtained by the Hrushovski's construction (ab initio) does not admit elimination of imaginaries. In particular, we prove that strongly minimal sets, which refute the Zilber's conjecture, do not admit elimination of imaginaries, as well as almost strnogly minimal projective plane by J. Baldwin.


Mail to Webmaster
alc9@math.nsc.ru
|Home Page| |English Part| [SBRAS]
Go to Home
© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
    Last update: 06-Jul-2012 (11:44:52)