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

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

Sinossi

A collection of surveys, tutorials, and research papers from the 2004 Logic Colloquium.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Descrizione del libro

Highlights of this volume from the 2004 meeting include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; and 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.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.