XPost: sci.logic, sci.math   
   From: janburse@fastmail.fm   
      
   Hi,   
      
   Rossy Boy, can you do this, its from my logic teacher:   
      
   The theory BON(µ) + (B-IN) is particularly interesting   
   in connection with Feferman's philosophical analysis of   
   Weyl's Das Kontinuum and his reconstruction of the axiom   
   system of Das Kontinuum in modern terms; see Feferman   
   [16, 17]. One of his key results is that Weyl's approach   
   can be developed within a conservative extension of PA.   
   This system W can be easily reduced to BON(µ) +(B-IN).   
   https://home.inf.unibe.ch/ltg/publications/2018/jae18.pdf   
      
   But now I am confused , didn't bang Weyl his head   
   on MVT? The modulus problem. So whats the scope of W?   
      
      
   Bye   
      
   BTW: Shitty new Microsoft Snipping tool OCR cannot   
   recognize Greek, had to manually insert µ.   
      
   Ross Finlayson schrieb:   
   > nuclear-force (micro, quantum spikes/wells) not via discrete   
   > Planck-scale foam, but through axiomless geometry's "sweep"   
   > (Natural/Unit Equivalency Function), where singularities are   
   > non-Cartesian transitions preserving constancy/consistency.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)