tailcalled comments on Hyperreals in a Nutshell

[tailcalled]

I found Terry Tao’s writing on the topic to be helpful for understanding, especially the connection between nonprincipal ultrafilters and Arrow’s Impossibility Theorem.