In this thread What are hyperreal numbers? (Clarifying an already answered question) someone, I believe @Noah Schweber, explained a very interesting point to me regarding the question of separating noncomputable real numbers by properties; and also some subtle aspect of the Lightstone representation of hyperreals.
I was trying to find this comment recently and it's absolutely gone from the page. However Google remembers it. Here is a screen capture of my Google search just now.
You can see the @user4894 reference and the beginning of the comment.
I found that comment incredibly helpful but now I can't remember everything it said. Can anyone explain where it went, and -- way more importantly -- can I get that reply back? Please?