bn:03300835n
Noun Concept
Categories: Set theory, Inner model theory, Set theory stubs
EN
Code
EN
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
English:
set theory
Definitions
Relations
Sources
EN
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
Set with a particular isomorphism to another set Wikipedia Disambiguation
Concept in set theory Wikidata
PART OF
Wikipedia
Wikidata
EN