### Some articles on *definable, parametrically definable*:

Strongly Minimal Theory

... minimal structure is an infinite one-sorted structure such that every subset of its domain that is

... minimal structure is an infinite one-sorted structure such that every subset of its domain that is

**definable**with parameters is either finite or cofinite ... Thus a structure is minimal only if the**parametrically definable**subsets of its domain cannot be avoided, because they are already**parametrically definable**in the pure language of equality ... As the example ACFp shows, the**parametrically definable**subsets of the square of the domain of a minimal structure can be relatively complicated ("curves") ...Main Site Subjects

Related Phrases

Related Words