Assertion: principle | /r/CapableOf | imply the existence of a kurepa tree
Facets:
Source sentences:
text: The diamond principle ◊ does not imply the existence of a Kurepa tree, but the stronger ◊+ principle implies both the ◊ principle and the existence of a Kurepa tree.