Spektralfunktion (Modelltheorie)

In der Modelltheorie, einem mathematischen Teilgebiet der Logik, ordnet die Spektralfunktion einer Kardinalzahl die Anzahl der nicht-isomorphen Modelle einer Theorie zu.

7 Beziehungen: Algebraischer Abschluss, Charakteristik (Algebra), Kardinalzahl (Mathematik), Kategorizität, Körper (Algebra), Satz von Löwenheim-Skolem, Theorie (Logik).

Algebraischer Abschluss

Ein Körper K heißt algebraisch abgeschlossen, wenn jedes nicht-konstante Polynom mit Koeffizienten in K eine Nullstelle in K hat.

Neu!!: Spektralfunktion (Modelltheorie) und Algebraischer Abschluss · Mehr sehen »

Charakteristik (Algebra)

Die Charakteristik ist in der Algebra eine Kennzahl eines Ringes oder Körpers.

Neu!!: Spektralfunktion (Modelltheorie) und Charakteristik (Algebra) · Mehr sehen »

Kardinalzahlen (lat. numeri cardinales „vorzügliche Zahlen“, „Hauptzahlen“) sind in der Mathematik eine Verallgemeinerung der natürlichen Zahlen zur Beschreibung der Mächtigkeit (oder auch Kardinalität) von Mengen.

Neu!!: Spektralfunktion (Modelltheorie) und Kardinalzahl (Mathematik) · Mehr sehen »

Kategorizität

Kategorizität ist ein Begriff aus der Modelltheorie, einem Teilgebiet der mathematischen Logik.

Neu!!: Spektralfunktion (Modelltheorie) und Kategorizität · Mehr sehen »

Körper (Algebra)

Körper im Zusammenhang mit ausgewählten mathematischen Teilgebieten (Klassendiagramm) Ein Körper ist im mathematischen Teilgebiet der Algebra eine ausgezeichnete algebraische Struktur, in der die Addition, Subtraktion, Multiplikation und Division auf eine bestimmte Weise durchgeführt werden können.

Neu!!: Spektralfunktion (Modelltheorie) und Körper (Algebra) · Mehr sehen »

Satz von Löwenheim-Skolem

Der Satz von Löwenheim-Skolem besagt, dass eine abzählbare Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einem überabzählbar unendlich großen Universum erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen Domäne erfüllt ist.

Neu!!: Spektralfunktion (Modelltheorie) und Satz von Löwenheim-Skolem · Mehr sehen »

Theorie (Logik)

In der mathematischen Logik ist eine Theorie (der Prädikatenlogik erster Stufe) eine Menge von Aussagen über einer Signatur.

Neu!!: Spektralfunktion (Modelltheorie) und Theorie (Logik) · Mehr sehen »

Leitet hier um:

Spektralproblem.

Unionpedia ist ein Konzept Karte oder semantische Netzwerk organisiert wie ein Lexikon oder Wörterbuch. Es gibt eine kurze Definition jedes Konzept und seine Beziehungen.

Dies ist ein riesiger Online mentale Karte, die als Grundlage für die Konzeptdiagramme dient. Es ist kostenlos und jeder Gegenstand oder das Dokument heruntergeladen werden kann. Es ist ein Werkzeug, Ressourcen oder Referenz für Studium, Forschung, Bildung, Lernen und Lehre, die von Lehrer, Erzieher, Schüler oder Studenten verwendet werden kann; für die akademische Welt: für Schule, primäre, sekundäre, Gymnasium, Mittel, Hochschule, technisches Studium, Hochschule, Universität, Bachelor, Master-oder Doktortitel; für die Papiere, Berichte, Projekte, Ideen, Dokumentation, Studien, Zusammenfassungen, oder Diplomarbeit. Hier ist die Definition, Erklärung, Beschreibung oder die Bedeutung jedes bedeutende, auf der Sie Informationen benötigen, und eine Liste der mit ihnen verbundenen Konzepte als ein Glossar. Erhältlich in Deutsch, Englisch, Spanisch, Portugiesisch, Japanisch, Chinesisch, Französisch, Italienisch, Polieren, Niederländisch, Russisch, Arabisch, Hindi, Schwedisch, Ukrainisch, Ungarisch, Katalanisch, Tschechisch, Hebräisch, Dänisch, Finnisch, Indonesier, Norwegisch, Rumänisch, Türkisch, Vietnamesisch, Koreanisch, Siamesisch, Griechisch, Bulgarisch, Kroatisch, Slowakisch, Litauisch, Philippinischen, Lettisch, Estnisch und Slowenisch. Weitere Sprachen bald.

Alle Informationen wurden von Wikipedia extrahiert. Der Text ist unter der Lizenz „Creative Commons Attribution/Share Alike“ verfügbar.

Unionpedia wird nicht von der Wikimedia Foundation unterstützt oder ist mit ihr verbunden.

Google Play, Android und das Google Play-Logo sind Marken von Google Inc.

Datenschutz-Bestimmungen