Einfache Theorie

- Pure Mathematics -
Algebra Dictionary
Eine Prädikatenlogik-Theorie, die stabile Theorien verallgemeinert, indem sie eine wohlverhaltende Unabhängigkeitsrelation (Forking) zulässt, ohne vollständige Stabilität zu verlangen; Simplizität isoliert Kontexte, in denen Forking-Kalkül anwendbar bleibt.