Inhaltsverzeichnis
15 Beziehungen: Abzählbare Menge, Andrzej Mostowski, Bijektive Funktion, Filter (Mathematik), Forcing, Isomorphismus, Klasse (Mengenlehre), Mengenlehre, Modelltheorie, Ordinalzahl, Ordnungsrelation, Transitive Menge, Wohlfundierte Relation, Wohlordnung, Zermelo-Fraenkel-Mengenlehre.
Abzählbare Menge
In der Mengenlehre wird eine Menge A als abzählbar unendlich bezeichnet, wenn sie die gleiche Mächtigkeit hat wie die Menge der natürlichen Zahlen \mathbb.
Sehen Mostowski-Kollaps und Abzählbare Menge
Andrzej Mostowski
Andrzej Mostowski Andrzej Mostowski (* 1. November 1913 in Lwów (Lemberg); † 22. August 1975 in Vancouver) war ein polnischer Mathematiker und Logiker.
Sehen Mostowski-Kollaps und Andrzej Mostowski
Bijektive Funktion
Funktion Bijektivität (zum Adjektiv bijektiv, welches etwa ‚umkehrbar eindeutig auf‘ bedeutet – daher auch der Begriff eineindeutig bzw. substantivisch entsprechend Eineindeutigkeit) ist ein mathematischer Begriff aus dem Bereich der Mengenlehre.
Sehen Mostowski-Kollaps und Bijektive Funktion
Filter (Mathematik)
In der Mathematik ist ein Filter eine nichtleere nach unten gerichtete Oberhalb-Menge innerhalb einer umgebenden halbgeordneten Menge.
Sehen Mostowski-Kollaps und Filter (Mathematik)
Forcing
Forcing (deutsch auch Erzwingung oder Erzwingungsmethode) ist in der Mengenlehre eine Technik zur Konstruktion von Modellen, die hauptsächlich verwendet wird, um relative Konsistenzbeweise zu führen.
Sehen Mostowski-Kollaps und Forcing
Isomorphismus
In der Mathematik ist ein Isomorphismus (von altgriechisch ἴσος (ísos) – „gleich“ und μορφή (morphḗ) – „Form“, „Gestalt“) eine Abbildung zwischen zwei mathematischen Strukturen, durch die Teile einer Struktur auf bedeutungsgleiche Teile einer anderen Struktur umkehrbar eindeutig (bijektiv) abgebildet werden.
Sehen Mostowski-Kollaps und Isomorphismus
Klasse (Mengenlehre)
Als Klasse gilt in der Mathematik, Klassenlogik und Mengenlehre eine Zusammenfassung beliebiger Objekte, definiert durch eine logische Eigenschaft, die alle Objekte der Klasse erfüllen.
Sehen Mostowski-Kollaps und Klasse (Mengenlehre)
Mengenlehre
Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik, das sich mit der Untersuchung von Mengen, also von Zusammenfassungen von Objekten, beschäftigt.
Sehen Mostowski-Kollaps und Mengenlehre
Modelltheorie
Die Modelltheorie ist ein Teilgebiet der mathematischen Logik.
Sehen Mostowski-Kollaps und Modelltheorie
Ordinalzahl
Ordinalzahlen von 0 bis ωω Ordinalzahlen sind mathematische Objekte, die das Konzept der Position oder des Index eines Elementes in einer Folge auf Wohlordnungen über beliebigen Mengen verallgemeinern.
Sehen Mostowski-Kollaps und Ordinalzahl
Ordnungsrelation
Ordnungsrelationen sind in der Mathematik Verallgemeinerungen der „kleiner-gleich“-Beziehung.
Sehen Mostowski-Kollaps und Ordnungsrelation
Transitive Menge
In der Mengenlehre nennt man eine Menge A transitiv, falls.
Sehen Mostowski-Kollaps und Transitive Menge
Wohlfundierte Relation
In der Mathematik heißt eine auf einer Menge M definierte zweistellige Relation \prec wohlfundiert, wenn es keine unendlichen absteigenden Ketten in dieser Relation gibt, d. h., wenn es keine unendliche Folge a_0, a_1, a_2, a_3, \dots von Elementen in M mit a_ \prec a_i für alle i gibt.
Sehen Mostowski-Kollaps und Wohlfundierte Relation
Wohlordnung
Eine Wohlordnung auf einer Menge S ist eine totale Ordnung, bei der jede nichtleere Teilmenge von S ein kleinstes Element bezüglich dieser Ordnung hat, also eine totale fundierte Ordnung.
Sehen Mostowski-Kollaps und Wohlordnung
Zermelo-Fraenkel-Mengenlehre
Die Zermelo-Fraenkel-Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist.