Mathematische Logik II: Vorlesung

Mathematische Logik II: Vorlesung (Mi, 18.11.2020)

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden

00:13:06	Das Ersetzungsaxiom
00:14:44	Rekursionssatz
00:29:03	Anwendungen
00:33:15	Rechenregeln für Ordinalzahlen
00:33:42	Addition auf On
00:44:14	Produkt auf On
00:51:46	Exponentialfunktion
00:53:29	Cantor-Normalform
01:00:05	Ordinale als Normalform für WO