Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004

0. Introduction 1. Abstract elementary classes: some answers, more questions John T. Baldwin 2. On the density of Hausdorff ultrafilters Tomek Bartoszynski and Saharon Shelah 3. Zero groups and maximal tori Alessandro Berarducci 4. Constructive set theory with operations A. Cantini and L. Crosilla 5. Parametrized local zeta functions Raf Cluckers 6. Colourings of hypergraphs, permutation groups and CSP's Benoit Larose and Lucien Haddad 7. Congruence, tolerance identities congruence modularity shifting principle Paolo Lipparini 8. Universes in type theory part I - inaccessibles and Mahlo Anton Setzer 9. Hausdorff dimension and weak truth table reducibility Frank Stephan 10. Computation and the explanation of intelligent behaviours: ethnologically motivated restart Guglielmo Tamburrini and Edoardo Datteri 11. Constructible sheaves and definability Ivan Tomasic 12. An overview of modern universal algebra Ross Willard.