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?