Atomarität

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die modelltheoretische Eigenschaft einer Theorie oder Struktur, dass jeder vollständige Typ über der leeren Menge (oder einer gegebenen Parametersprache) durch eine einzelne Formel isoliert ist; mit anderen Worten: jedes Tupel hat einen isolierten Typ.