Title: Theory / Unimportant / Math / Logic / Set Theory / Kunen+8 / V1;
Tags: mathToSee

Q: There is a [...] \(\mathbb{G:ON\to V}\) such that [...]
A: unique; \(\forall\alpha[\mathbb G(\alpha)=\mathbb F(\mathbb G\upharpoonright\alpha)].\)
Page: 025
Chapter: 1
Section: 9
Variables: \(\mathbb{F:V\to V}\).
Index: 3
Kind: Theo

\(n,m\in\omega\) implies \(n\times m=n\otimes m<\omega\)
Page: 028
Chapter: 1
Section: 10
Variables: \(n,m\) sets.
Kind: Lem
Assuming: ZF