|
00:04:12
|
sorgfältigere Erklärung der Stage Comparison Formel |
|
00:15:13
|
Satz (Stage Comparison in posLFP) |
|
00:24:13
|
Satz (LFP ≡ IFP) |
|
00:30:00
|
Definition (Simultane Induktionen S-LFP) |
|
00:47:51
|
Beispiel (S-LFP) |
|
00:58:20
|
Definition (Partielle Fixpunktlogik PFP) |
|
01:05:56
|
Beispiel / Komplexität von PFP |