First order logic, fixed point logic and linear order
scientific article; zbMATH DE number 7869523