L'Annual European Meeting dell'Association for Symbolic Logic, generalmente noto come Logic Colloquium, è il più prestigioso incontro annuale nel campo. Molti dei documenti presentati sono sondaggi su invito di recenti sviluppi e il resto dei documenti sono scelti per completare i discorsi su invito. Questo volume include sondaggi, tutorial e documenti di ricerca selezionati dal meeting del 2004. I punti salienti includono un'indagine tutorial sui recenti punti più alti dell'algebra universale scritta da un esperto di primo piano; esplorazioni di questioni fondamentali; e un quartetto di articoli sulla teoria dei modelli che forniscono un'eccellente riflessione sul lavoro attuale nella teoria dei modelli, dall'aspetto più astratto delle "classi elementari astratte" alle questioni relative all'integrazione p-adica. Lingua: Inglese