Intended models and the Lowenheim-Skolem theorem
scientific article; zbMATH DE number 3526637