Date: Feb 1, 2013 4:46 PM
Author: William Hughes
Subject: Re: Matheology § 203



I will rephrase.

Let a predicate, P, be said to have the
orange property, if P(s) is true
for every (in the potential sense)
potentially infinite 0/1 sequence s.

According to WM

A potentially infinite list, L,
of potentially infinite 0/1 sequences
can be such that
P_L(s): s is a line of L
has the orange property

Let a potentially infinite list, L,
of potentially infinite 0/1 sequences
be such that
P_L(s): s is a line of L
has the orange property

Let s be a potentially infinite
0/1 sequence.

Does this imply that s is
a line of L?