This question is asked from a self-teacher standpoint(I am currently trying to learn more about non-standard analysis on my own), but I'd think it could be applicable to educators also.
What are good textbooks for non-standard analysis that goes in depth on how to construct the hyperreals and explores the properties of them? I have been working with Keisler's great calculus book based on infinitesimals with associated monograph. This doesn't seem to go over some of what I think are the more interesting topics like microcontinuity and other properties that the hyperreals have that the reals do not or are extensions with some changes.
Has anyone taught a course in this and can recommend best ways to learn it and good books to go with it?