Logic Colloquium 2004
Alessandro Andretta, Keith Kearnes, Domenico Zambella, editors
Year: 2008
ISBN-13:9780521884242
236 pages. Hardcover.
Buy now (when ordering, include the discount code ASL2016 to receive the 25% ASL member discount)
Highlights of this volume from the 2004 Annual European Summer Meeting of the Association for Symbolic Logic (ASL) include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect “abstract elementary classes” to issues around p-adic integration.
Table of Contents
- John T. Baldwin
Abstract elementary classes: some answers, more questions - Tomek Bartoszynski and Saharon Shelah
On the density of Hausdorff ultrafilters - Alessandro Berarducci
Zero groups and maximal tori - A. Cantini and L. Crosilla
Constructive set theory with operations - Raf Cluckers
Parametrized local zeta functions - Colourings of hypergraphs, permutation groups and CSP’s
Benoit Larose and Lucien Haddad - Paolo Lipparini
Congruence, tolerance identities; congruence modularity; shifting principle - Anton Setzer
Universes in type theory part I – inaccessibles and Mahlo - Frank Stephan
Hausdorff dimension and weak truth table reducibility - Gugglielmo Tamburrini and Edoardo Datteri
Computation and the explanation of intelligent behaviours: ethnologically motivated restart - Ivan Tomasic
Constructible sheaves and definability - Ross Willard
An overview of modern universal algebra