Lexikon der Mathematik: wesentlich unentscheidbare Theorie
eine unentscheidbare Theorie mit der zusätzlichen Eigenschaft, daß auch jede widerspruchsfreie Erweiterung der Theorie unentscheidbar ist.
Copyright Springer Verlag GmbH Deutschland 2017
eine unentscheidbare Theorie mit der zusätzlichen Eigenschaft, daß auch jede widerspruchsfreie Erweiterung der Theorie unentscheidbar ist.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.