Информационная система "Конференции"

Abstracts

Model theory and set theory

The main result is a natural criterion of first order definability over the group Aut(Q,<), which gives us an easy and uniform way to prove all the previous definability results for this group and to obtain a series of new results.

Mail to Webmaster alc9@math.nsc.ru

|Home Page| |English Part|

Go to Home