A diamond principle consistent with AD
Steel's core model \(\mathbf{K}(\mathbb{R})\)
scientific article; zbMATH DE number 6761615