Content deleted Content added
x is hereditarily countable |
point to isomorphism |
||
Line 1:
In [[set theory]], a '''code''' for a set x <math>\in H_{\aleph_1}</math> is a set E <math>\subset</math> ω×ω such that there is an [[isomorphism]] between (ω,E) and (X,<math>\in</math>) where X is the [[transitive set|transitive closure]] of {x}.
==See also==
| |||