Date: Feb 20, 2013 5:30 AM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots

On Feb 20, 11:15 am, WM <> wrote:
> On 18 Feb., 14:11, William Hughes <> wrote:

> > > Please answer as politely: Is there any n with no line containing
> > > d_1, ..., d_n

> > No.
> Please answer without using phrases like "all" or "totality" or
> "complete collection" or "whole class" or "finished infinite" or "the
> set": Can you name a union of FISs of the diagonal that is missing in
> every line of the list?

No (The union of *every* FIS does not mean

A statement you can make is that there
is no line of the list with the property
that it is coFIS to d.
(you do not need every line or every FIS to "actually
exist" to make this statement)

Clearly any FIS that "actually exists"
is a line of the list.

Let z be a potentially infinite sequence such that
for some natural number m, the mth FIS of
z contains a zero.

Are z and x coFIS?