Logik Fixpunktsatz für coinduktiv definierte Mengen

Neue Frage »

V3nom Auf diesen Beitrag antworten »
Logik Fixpunktsatz für coinduktiv definierte Mengen
Meine Frage:
Wir sollen die Aussage (ii) von Satz 4.1 analog zum Beweis von (i) beweisen... Beweisen bedeutet ja folglich umformen bis dies funktioniert oder eine Herleitung oder sonstiges ...!

Meine Ideen:
lfp(F) ist hier bekanntlich... eher erforscht, der kleinste Fixpunkt von F:P(S)->P(S). Hier ist T F-abgeschlossen...


Gfp (F) ist dann auch ersichtlich als größte F-dichte Teilmenge von S und der größte Fixpunkt von F (F: P(S)->P(S)). Hierbei ist t F-Dicht...

Bei beiden (lfp(F) und gfp(F)) ist der Betrag T Teilmenge aus S gegeben!

Wie wir das jetzt aber beweisen sollen, ist uns leider nicht ganz, oder besser überhaupt nicht schlüssig... deshalb bitten wir hier dringend um Hilfe smile Danke im Voraus LG von der TU D
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »