A new proof of the McKinsey-Tarski theorem
scientific article; zbMATH DE number 6996656
scientific article