Title: Zur Modelltheorie der Fixpunktlogik