Algorithmische Modelltheorie: Vorlesung (Di, 15.10.2019)

Kapitel:

00:01:34
Domino Probleme
00:08:53
Satz (Berger & Robinson)
00:16:53
Satz (Paketierung ℕ×ℕ erweitert auf ℤ×ℤ)
00:27:12
Satz (rekursiv untrennbare Dominoprobleme)
00:34:23
Anwendungen der Domino Methode
00:36:36
Satz (KMW ist konservative Reduktionsklasse)
01:00:00
Definition (FOᵏ)
01:02:19
Satz (konservative Reduktionsklasse funktionaler Signaturen und ∀)