House is on ABC.
In mathematics , and particularly in axiomatic set theory , the diamond principle ◊ is a combinatorial principle introduced by Ronald Jensen in that holds in the constructible universe -LRB- L -RRB- and that implies the continuum hypothesis .. mathematics. mathematics. axiomatic set theory. axiomatic set theory. combinatorial principle. combinatorial principle. Ronald Jensen. Ronald Jensen. constructible universe. constructible universe. continuum hypothesis. continuum hypothesis. Jensen extracted the diamond principle from his proof that the Axiom of constructibility -LRB- V = L -RRB- implies the existence of a Suslin tree .. Axiom of constructibility. Axiom of constructibility. Suslin tree. Suslin tree