Mathematische Logik II: Vorlesung (Mi, 18.11.2020)
  • Einbetten

Kapitel:

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