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

Rilegato

ISBN 10: 0521884241 ISBN 13: 9780521884242

Casa editrice: Cambridge University Press, 2008

Riassunto

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

Su questo libro

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.

Dettagli dell'edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 0521884241
• ISBN 13: 9780521884242
• Rilegatura: Copertina rigida
• Numero edizione: 1
• Numero di pagine: 236
• Redattore: Andretta Alessandro, Kearnes Keith, Zambella Domenico
• Contatto del produttore: non disponibile
• Persona responsabile: Avery; https://www.avery.fr/; ; chemin des peupliers 27; Dardilly; Francia