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

Abstracts

Model theory and set theory

We define a syntactical approach to constructions of generic models as a generalization of known semantical approach to the constructions of generic structures. We show a sufficient condition of saturation of generic model and of quantifier elimination of generic theory being syntactically constructed.

Mail to Webmaster alc9@math.nsc.ru

|Home Page| |English Part|

Go to Home