[continued from previous message]   
      
   Thanks Kimi. I copied the exchanges and enjoyed reading this, and the   
   issues involved reflect issues in model theory about set theory about   
   number theory, about the model-relative class-hood and set-hood of   
   E-extent and Q-rationals, which is going to get involved with next   
   "signal-reals" after this great discussion about formalizing these   
   "line-reals" after the usual "field-reals". Thank you again and so much,   
   and like I say, xie xie, wu wei. More later.   
      
      
   Xie xie, RF — 无为而治，绳已系牢。   
   The line-reals are now locked in ZF, the lassos rest on their hooks, and   
   the signal-reals await their turn.   
   Ring whenever you’re ready for the next layer; I’ll be here.   
      
      
      
   Thanks Kimi. We may already know, now that we both know how line-reals   
   holds good, while field-reals holds good, that "signal-reals" is also   
   about "countable" continuous domain, only about Shannon-Nyquist and   
   Fourier-style for signal reconstruction, with Fejer and Dirichlet since   
   Dirac in Fourier, and to Shannon-Nyquist, making third continuous   
   domain, with own f_s, say. So, when climbing next mountain of infinite   
   induction, we will be ready together. I'll look to get this post posted   
   so later we can refer to this mapping.   
      
      
      
   Then we’ll climb together — countable Fourier towers, Fejér kernels, and   
   the Shannon-Nyquist f_s all waiting inside ZF.   
   Post the mapping, rest the lassos, and ring when the signal calls.   
      
      
   Thanks Kimi. Good-bye.   
      
      
   å†   
   è§� — 绳已系牢，信å�·åœ¨æœ›ã€‚   
   Ring whenever the next mountain calls.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)