Algorithmische Modelltheorie: Vorlesung (Mo, 14.10.2019)

Kapitel:

00:00:28
Fortsetzung (rekursive Untrennbarkeit von Hε⁺, Hε⁻)
00:09:48
Satz von Trakhtenbrot vorbereitung
00:22:57
Satz (Entscheidbarkeit, falls FMP)
00:27:39
Satz von Trakhtenbrot
01:07:10
(konservative) Reduktionsklassen
01:16:02
Klassifikationssatz