Книга посвящена впечатляющим результатам в алгебраической геометрии, полученным на основе применения современных достижений теории моделей (доказательство гипотезы Морделла-Ленга для полей функций, доказательство гипотезы Манина-Мамфорда, эффективная оценка мощности соответствующих конечных множеств). Цель книги, созданной коллективом крупных специалистов в теории моделей и алгебраической геометрии, - познакомить максимально широкий круг математиков со связями между этими областями и с методами применения геометрической теории стабильности в алгебраической геометрии. В первую очередь книга рассчитана на исследователей и преподавателей, специализирующихся в математической логике, алгебраической геометрии, алгебре.