> Can a potentially infinite list > of potentially infinite 0/1 > sequences have the property that
> if s is a potentially infinite 0/1 > sequence, then s is a line of L
One cannot ever actually have a potentially infinite list, any more than one can have an actually infinite list, one can actually only have a finite list with some indication of how that list might be indefinitely extended.
Which is as much an abbreviation of a truly infinite list as it is an abbreviation of a potentially infinite list. --