A topological $L_{{\omega }_1,\omega }$-invariant

We suggest to look at formal sentences describing complex algebraic varieties together with their universal covers as topological invariants. We prove that for abelian varieties and Shimura varieties this is indeed a complete invariant, i.e. it determines the variety up to complex conjugation.