Fixed-points for relations and the back and forth method

MaRDI QIDQ5460165zbMATH OpenFDO

Authors Janusz Czelakowski

Publication date 2 May 2008

zbMATH Keywords

order-oriented fixed-point theoryordered Kripke framesreflexive points

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07)

Recommendations

• HOMOGENEITY AND FIX-POINTS: GOING FORTH!
• scientific article; zbMATH DE number 559188
• The forth part of the back and forth map in countable homogeneous structures
• Les va-ou-vient : Une généralisation des va-et-vient de Fraïssé
• scientific article; zbMATH DE number 5853298

Cited in

(5)

• The back-and-forth method and computability without delay
• Monotone Relations, Fixed Points and Recursive Definitions
• Les va-ou-vient : Une généralisation des va-et-vient de Fraïssé
• The forth part of the back and forth map in countable homogeneous structures
• HOMOGENEITY AND FIX-POINTS: GOING FORTH!

This page was built for publication: Fixed-points for relations and the back and forth method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5460165)