The Cozero part of the pointfree version of $C_c(X)$

Ali Akbar Estaji, Maryam Taha

Let ${\mathcal{C}}_c(L):=\{\alpha \in \mathcal{R}(L)\mid R_{\alpha }\text{ is a countable subset of }\mathbb{R}\}$, where $R_{\alpha }:=\{r\in \mathbb{R}\mid \mathrm{coz}(\alpha -r)\ne \top \}$ for e…