  We generalize the Boolean power construction to the setting of compact
Hausdorff spaces. This is done by replacing Boolean algebras with de Vries
algebras (complete Boolean algebras enriched with proximity) and Stone duality
with de Vries duality. For a compact Hausdorff space $X$ and a totally ordered
algebra $A$, we introduce the concept of a finitely valued normal function
$f:X\to A$. We show that the operations of $A$ lift to the set $FN(X,A)$ of all
finitely valued normal functions, and that there is a canonical proximity
relation $\prec$ on $FN(X,A)$. This gives rise to the de Vries power
construction, which when restricted to Stone spaces, yields the Boolean power
construction.
  We prove that de Vries powers of a totally ordered integral domain $A$ are
axiomatized as proximity Baer Specker $A$-algebras, those pairs $(S,\prec)$,
where $S$ is a torsion-free $A$-algebra generated by its idempotents that is a
Baer ring, and $\prec$ is a proximity relation on $S$. We introduce the
category of proximity Baer Specker $A$-algebras and proximity morphisms between
them, and prove that this category is dually equivalent to the category of
compact Hausdorff spaces and continuous maps. This provides an analogue of de
Vries duality for proximity Baer Specker $A$-algebras.
