Logically independent von Neumann lattices
scientific article; zbMATH DE number 844092