Re: The set of necessary FISONs

Am 05.03.2025 um 20:26 schrieb Jim Burns:
 > On 3/5/2025 4:22 AM, WM wrote:
 >> On 04.03.2025 23:05, Jim Burns wrote:
 >
 >>> ω/2 ω/10 and ω/20 follow ω?
 >>
 >> No they follow Z₀ and UF.
 >
 > ω = ⋃{F}
No.
F = {F(1), F(2), ..., F(n), ...}
UF = {1, 2, 3, ...}
∀n ∈ ℕ: ω/n > n.
 > ω is the first non.finite ordinal.
Yes.
 > ω is the set of all and only finite ordinals.
That is another use of ω.
Regards, WM