Internal set theory: A new approach to nonstandard analysis - latest news, discussion & facts - IJR