Constructing Banaschewski compactification without Dedekind completeness axiom (Q1777896)

Let \(F\) be a linearly ordered field equipped with the order topology and let \(X\) be a topological space (in the classical case \(F\) is the field of real numbers). First, the authors survey and discuss the interplay between topological properties of \(X\) and properties of subrings of the ring \(C(X,F)\) of all continuous functions from \(X\) into \(F\). Second, complete regularity of \(X\) is generalized to complete \(F\)-regularity and a number of generalizations of the classical results are obtained. Third, properties of compactifications of \(X\) via structure spaces of rings of ordered \(F\)-valued continuous functions (sets of maximal ideals carrying the hull-kernel topology) are proved. Fourth, fine and interesting problems are formulated. The main results are: a construction of the Banaschewski compactification (no completeness axiom for the ordered field is needed), generalizations of the Stone theorem, the Banach-Stone theorem, and the Gelfand-Kolmogoroff theorem.