Strongly Minimal Theory
Versandkostenfrei!
Versandfertig in 6-10 Tagen
32,99 €
inkl. MwSt.
PAYBACK Punkte
16 °P sammeln!
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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 whi...
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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").
Andere Kunden interessierten sich für
