Completeness theorem for continuous functions and product class-topologies

We introduce an infinitary logic LA(On, Cn)n∈ω which is an extension of L obtained by adding new quantifiers On and Cn, for every n ∈ ω The corresponding models are topological class-spaces. An axiomatization is given and the completeness theorem is proved