High Quality Content by WIKIPEDIA articles! In model theory, a branch of mathematical logic, a minimal structure is an infinite one-sorted structure such that every subset of its domain which is definable with parameters is either finite or cofinite. A strongly minimal theory is a complete theory all models of which are minimal. A strongly minimal structure is a structure whose theory is strongly minimal. Thus a structure is minimal if and only if the parametrically definable subsets of its domain are those which cannot be avoided, because they are already parametrically definable in the pure language of equality. Strong minimality was one of the early notions in the new field of classification theory and stability theory that was opened up by Morley's theorem on totally categorical structures. The nontrivial standard examples for strongly minimal theories are the one-sorted theories of infinite-dimensional vector spaces, and the theories ACFp of algebraically closed fields. As the example ACFp shows, the parametrically definable subsets of the square of the domain of a minimal structure can be relatively complicated ("curves").

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.