Quantifiers on languages and codensity monads - Gehrke, M; Petrişan, D; Reggio, L (Mathematical Structures in Computer Science, 2021)