Skip to main content
2 events
when toggle format what by license comment
Aug 31, 2010 at 14:17 comment added François G. Dorais Since CRT is a theorem of PA, couldn't this construction be carried out up to some nonstandard N to get the required Z-interval?
Aug 31, 2010 at 5:55 history answered Noah Schweber CC BY-SA 2.5