|
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 ∀) |