We introduce an infinitary logic $L_{\mathbb{A}}(O^n,C^n)_{n\in\omega$ which is an extension of $L_{\mathbb A}$ obtained by adding new quantifiers $O^n$ and $C^n$, for every $n\in\omega$. The corresponding models are topological class-spaces. An axiomatization is given and the completeness theorem is proved.