Model theory of monadic predicate logic with the infinity quantifier
scientific article; zbMATH DE number 7541620
scientific article