Anonymous
8/12/2025, 5:24:14 PM
No.16748835
Field extension from reals to hyperreals.
Given an irrational number 0.d..., where d is variable, can anything be specified about the hyperreal part of that number? This was the only provocative question in the last number representation thread and it deserves a second round of abuse. How would you write it? Just 0.d...;... with an empty part? If so, are irrational hyperreals "shorter" in some sense than rational hyperreals?