Almost periodic functions, constructively
arXiv:cs/0512009 · doi:10.2168/LMCS-1(3:3)2005
Abstract
The almost periodic functions form a natural example of a non-separable normed space. As such, it has been a challenge for constructive mathematicians to find a natural treatment of them. Here we present a simple proof of Bohr's fundamental theorem for almost periodic functions which we then generalize to almost periodic functions on general topological groups.