BabelNet

bn:03300835n

Noun Concept

No term available

In set theory, a code for a hereditarily countable set x ∈ H ℵ 1 {\displaystyle x\in H_{\aleph _{1}}\,} is a set E ⊂ ω × ω {\displaystyle E\subset \omega \times \omega } such that there is an isomorphism between and where X is the transitive closure of {x}. Wikipedia

Relations

Sources

PART OF

集合論