SOSOA and irrationality

[pax0 at seznam.cz]

Dear FOMers,

I would like to understand the real numbers Pi and e along these lines:





> Which subsystem of the 5 prominent subsystems of Z2 is equivalent to the 
statement Pi (alternatively e) is irrational (over RCA0).




Also, which subsystem is appropriate to handle the property "being 
irrational" and how this is coded in it ?


Thank you, Jan Pax

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220612/d800a502/attachment.html>