HOMOMORPHISMS IN THE THEORY OF MODELLING
Norman Foo · International Journal of General Systems · 1979
Properties of. dynamic systems preserved under homomorphisms are investigated. A result by Lyndon in algebraic logic is shown to apply to dynamic systems and characterises all first.order properties preserved. The justifying conditons of Zeigler are elucidated in this scheme and it is argued that there is no algorithm for discovering them. Higher order properties are briefly discussed.