Determinability of Hewitt spaces by the lattices of subalgebras with unit of semifields of continuous positive functions with MAX-plus (Q2404815)

Let \(X\) be a topological space, and let \(\mathbb{P}=\{x\in\mathbb{R} \mid x>0\}\) denote the semifield of positive real numbers endowed with the interval topology. Replacing ordinary addition with the max-addition on \(\mathbb{P}\) yields a semifield that the author denotes by \(\mathbb{P}^\vee\). He then defines \[ U^\vee(X)=\{f: X\to \mathbb{P}^\vee\mid f \text{ is continuous\}}, \] and makes this set into a semifield with identity by defining addition (which is now max-addition) and multiplication pointwise. The set of all subalgebras with unit of \(U^\vee(X)\) is denoted by \(\mathbb{A}_1(U^\vee(X))\), and is a lattice with set-theoretic intersection for meet, and join \(A\vee B\) consisting precisely of all finite sums of functions \(f_1,\dots,f_n\) where each \(f_i\in A\cup B\). The main result in the paper states that every realcompact space \(X\) is determined by \(\mathbb{A}_1(U^\vee(X))\). The author uses the name ``Hewitt space'' in place of realcompact space. Although this result is reminiscent of Chapter 8 in the book [Rings of continuous functions. The University Series in Higher Mathematics. Princeton-Toronto-London-New York: D (1960; Zbl 0093.30001)] by \textit{L. Gillman} and \textit{M. Jerison}, it should be emphasised though that the author develops new and completely different techniques to prove the main theorem.