I'd like to "model" the absolute complement of a set $X$ as the ordinal-indexed sequence $\beta \alpha \mapsto V_\beta V_\alpha \setminus X$ where $V_\beta$ V_\alpha$ is the $\beta$ \alpha$ stage of the cumulative hierarchy. My understanding is that ZFC doesn't support ordinal-indexed sequences, so my question is, what is a good set theory in which to study this concept?
|
2 | Changed the betas to alphas | ||
|
|
||||
|
|
1 |
|
||
Good set theory in which to study ordinal-indexed sequences?I'd like to "model" the absolute complement of a set $X$ as the ordinal-indexed sequence $\beta \mapsto V_\beta \setminus X$ where $V_\beta$ is the $\beta$ stage of the cumulative hierarchy. My understanding is that ZFC doesn't support ordinal-indexed sequences, so my question is, what is a good set theory in which to study this concept?
|
||||
