Canonical completeness of infinitary \(\mu \)
scientific article; zbMATH DE number 5318676