Skip to main content
5 events
when toggle format what by license comment
Aug 20, 2016 at 16:56 vote accept Chill2Macht
Jul 10, 2016 at 0:03 history bounty ended Chill2Macht
Jul 3, 2016 at 0:25 comment added godelian In a topos, classically equivalent constructions of the reals, like e.g., through Dedekind cuts or through Cauchy sequences, may yield different real number objects.
Jul 3, 2016 at 0:21 comment added Chill2Macht What do you mean by a "real number object ... different from the Dedekind reals or the Cauchy reals"? In some way not equivalent to those two constructions? Or not identical?
Jul 3, 2016 at 0:10 history answered godelian CC BY-SA 3.0