SOSOA and irrationality

pax0 at pax0 at
Sun Jun 12 13:26:14 EDT 2022

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>

More information about the FOM mailing list