Re: The set of necessary FISONs

On 1/28/2025 10:29 AM, WM wrote:

On 28.01.2025 14:10, Jim Burns wrote:

A set such that a larger FISON does NOT exist
is sufficiently large in order for Bob
to disappear purely from swaps within the set.

>
He disappears from visibility.

There are no swaps into a room,
except for rooms with a later swap.out.
Darkᵂᴹ or visibleᵂᴹ,
there are no swaps into a room,
except for rooms with a later swap.out.
If, after all swaps,
Bob is still in a room with swap.in,
why didn't its later swap.out swap him out?
If, after all swaps,
Bob is in a room without a swap.in,
how did he get there?
If, after all swaps,
Bob isn't in a room with a swap.in
and isn't in a room without a swap.in,
but Bob is somewhere,
what does it mean for Bob to be somewhere?

I agree that
your (WM's) actualᵂᴹ infinity does not exist.
>
That's not our infinity.

>
I use Cantors actual infinity:

Only when it pleases you to do so.

|ℕ| is a fixed quantity
larger than all natural numbers.
What is your infinity?

The union of all FISONs does not change
and each finite ordinal is smaller than it.
The union of all FISONs is large enough that
Bob can disappear from the set as a result of
(enough) swaps which never leave the set.
The union of all FISONs is infinite.
What are you (WM) most recently calling it?