Beyond Reality (for math geeks)

Aside: Where is Ultrafilter, anyway? One would think he would be posting in this thread