Logic colloquium 2004
Book information
Description
Content: 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.
Similar books
Logic colloquium '99: lecture notes in logic 17
2004 · DJVU
Logic colloquium 2000 (hardcover): lecture notes in logic, 19
2005 · DJVU
Logic colloquium '03: lecture notes in logic 24
2006 · DJVU
Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27
2006 · DJVU
Mathematical logic
2007 · PDF
Symbolic logic: an introduction
1952 · DJVU
Philosophical logic in Poland
1994 · DJVU
Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
1999 · DJVU