8:53 PM
@Martin sorry to bother you again on things we already discussed, but I still have a doubt. The first question you linked says that $G\upharpoonright \alpha = \{G(\beta):\beta<\alpha\}$ or what Kunen calls $\text{ran}(G\upharpoonright\alpha)$, while in his definition, if we think about $f:A\to B$ as a subset of $A\times B$ and $C\subset A$ then $f\upharpoonright C=f\cap C\times B$
« first day (1914 days earlier) ← previous day next day → last day (2563 days later) »