Download PDF - Embeddings, amalgamation and elementary equivalence: the representation of compact logics