Continuous first-order logic of abstract harmonic spaces

Haoming Wang

This paper studies Brelot harmonic spaces within an unbounded many-sorted continuous first-order language and its expansions. 1. In the finite evaluation reduct of the harmonic lan…