First-order queries on databases embedded in an infinite structure
scientific article; zbMATH DE number 983853