A Lopez-Escobar Theorem for Continuous Domains

Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger +2

We prove an effective version of the Lopez-Escobar theorem for continuous domains. Let $Mod(\tau )$ be the set of countable structures with universe $\omega$ in vocabulary $\tau$ topologized b…