\(\sigma\)-homomorphisms from the Borel \(\sigma\)-algebra into the Loeb \(\sigma\)-algebra (Q5942881)

The first three sections of the present paper are devoted to a presentation of the necessary results of nonstandard measure theory that are used in section 4 to present a nonstandard proof of the following theorem of \textit{P. Pták} [J. Lond. Math. Soc., II. Ser. 23, 534-536 (1981; Zbl 0454.54017)], without using the assumption that every cardinal is measurable: Assume that \((X,\mathcal T)\) is a completely regular Hausdorff space and that \((S,\Sigma)\) is a measurable space. If \(X\) is real compact (and so the closed discrete subspaces of \(X\) have non-measurable cardinals), then to every \(\sigma\)-homeomorphism \(\Phi\) of the Baire \(\sigma\)-algebra of \(X\) into the \(\sigma\)-algebra \(\Sigma\) there corresponds a (measurable) function \(u:S\to X\) satisfying that for all Baire sets \(B\subset X\), we have \(\Phi (B)=u^{-1}(B)\). From the definition of \(u\), it appears that it is not necessarily unique. From Pták's proof it follows that if the cardinal of \(X\) is non-measurable, then \(u\) is uniquely defined.