In article <898dc1d1-4adb-4a12-9b36-64ad8d9cb38f@d11g2000yqe.googlegroups.com>, William Hughes <wpihughes@gmail.com> wrote:
> Previous was too complicated > > Can a potentially infinite list > of potentially infinite 0/1 > sequences have the property that > > if s it a potentially infinite 0/1 > sequence, then s is a line of L
No, since two potentially infinite sequences cannot be proved equal without having an actual infinity of comparisons. --