Loeb Equivalence for General Internal Probability Spaces

Loeb measure theory stands as one of the most influential concepts in nonstandard analysis, underpinning nearly all applications in probability, stochastic processes, and mathematical economics. The paper resolves a fundamental open problem in Loeb measure theory originally posed by Keisler and Sun: let $(\mathrm{\Omega },\mathcal{F},\mu )$ and $(\mathrm{\Omega },\mathcal{G},\nu )$ be two Loeb equivalent internal probability spaces, and $\mathcal{H}$ be the internal algebra generated from $\mathcal{F}\cup \mathcal{G}$. Does there exist an internal probability measure $P$ on $\mathcal{H}$ such that $(\mathrm{\Omega },\mathcal{H},P)$ is Loeb equivalent to $(\mathrm{\Omega },\mathcal{F},\mu )$? While arXiv:2112.13955 recently provided a positive answer for hyperfinite probability spaces, the problem remained open for general internal probability spaces. We establish the existence of such an internal probability measure for all internal probability spaces.