New spectra of computable models

Abstract

Logic Colloquium ’10, the 2010 European Summer Meeting of the Association for Symbolic Logic, was hosted by the University of Paris Diderot (Paris 7) from 25 July to 31 July 2010. The lectures were held on the University Campus at Halle aux Farines. The conference was organized by the following three laboratories of Paris Diderot University and CNRS: • Equipe de Logique Math ´ ematique (ELM) ´ • Preuves, Programmes et Systemes (PPS) ` • Laboratoire d’Informatique Algorithmique: Fondements et Applications (LIAFA) The meeting was also supported by the Mathematics Department of Orsay University (Paris 11). The sponsors of the meeting were: the Association for Symbolic Logic; CNRS: INSMI, INS2I and INSHS; University Paris Diderot – Paris 7; INRIA; DIGITEO, Region Ile de ´ France; Ville de Paris; Orsay University – Paris 11; and the Kurt Godel Society. ¨ The success of the meeting was due largely to the hard work of the Local Organizing Committee under the leadership of its Chair, Rene Cori. The other members were ´ Samy Abbes (PPS), Odile Ainardi (PPS), Vincent Balat (PPS), Khadija Bayoud (ELM), Luc Belair (Montr ´ eal University), Thomas Colcombet (LIAFA), Arnaud Durand ( ´ ELM) Thomas Ehrhard (co-chair, PPS), Martin Hils (ELM), Ramez Labib-Sami (ELM), Richard Lassaigne (ELM), Yves Legrandgerard (PPS), Guillaume Malod (ELM), Audrey Mansuet ´ (PPS), Marie-Hel´ ene Mourgues (ELM), Catherine Muhlrad-Greif (ELM), Donald ` Pelletier (ELM), Sylvain Perifel (LIAFA), Jean Eric Pin (co-chair, LIAFA), Franc¸oise Point (ELM), Paul Roziere (PPS), Todor Tsankov (ELM), and Boban Velikovic (ELM). T ` he Program Committee consisted of Albert Atserias (Barcelona), Zoe Chatzidakis (Paris Diderot), ´ Thierry Coquand (Gothenburg), Pierre-Louis Curien (Paris Diderot), Michael Detlefsen (Notre Dame), Costas Dimitracopoulos (Athens), Juliet Floyd (Boston), Istvan Juhasz (Budapest), Menachem Magidor (Jerusalem), Michael Rathjen (Leeds, Chair), Thomas Scanlon (Berkeley), Alexandra Soskova (Sofia), and Yde Venema (Amsterdam). The main conference topics were: Bolzano’s Beytr¨age, Computability Theory, Model Theory, Set Theory, and Simplicity (Complexity) of Proofs. The program included two tutorial courses, nineteen invited plenary lectures, and twenty-three invited lectures in five special sessions corresponding to the five main topics. There were about hundred contributed papers and 293 registered participants from all over the world. More than sixty students and recent Ph.D’s were assisted by local grants and the ASL. The following tutorial courses were delivered: Uri Abraham (Ben Gurion University, Beer-Sheva), Introduction to the oracle and the oracle-proper forcing. Ted Slaman (University of California, Berkeley), Randomness and Recursion Theory The following invited plenary lectures were presented: Franc¸oise Delon (University Paris Diderot), C-minimal structures without density assumption. Nicola Gambino (Palermo University), Homotopy-theoretic aspects of Martin-L¨of type theory. Mai Gehrke (Nijmegen University), Stone duality and recognizability. Jean-Yves Girard (University Marseille Mediterran ´ ee), ´ Normativity in logic. Moti Gitik (Tel-Aviv University), On precipitous ideals. Valentin Goranko (Technical University of Denmark, Lyngby), Interval temporal logics: straddling the decidability border. Ian Hodkinson (Imperial College, London), Algebras of relations: some results and methods. Julia Knight (University of Notre Dame), Comparing classification problems. Piotr Koszmider (Technical University of Lodz), Set-theoretic topological methods in Banach spaces. Jan Kraj´ıcek (Charles University in Prague), ˇ Towards hard tautologies. Angus MacIntyre (Queen Mary, University of London), Some issues of definability for the complex exponential. Paulo Oliva (Queen Mary, University of London), Sequential games and optimal strategies. Kobi Peterzil (University of Haifa), Abelian varieties, their moduli spaces and o-minimality. Jan von Plato (University of Helsinki), On the dimensionality of deductive arguments. Goran Sundholm (Leiden University), ¨ Inference. Simon Thomas (Rutgers University), A descriptive view of combinatorial group theory. Andreas Weiermann (Ghent University), Recent trends in phase transitions for G¨odel incompleteness. Thomas Wilke (Kiel University, Germany), Logic of cryptography and cryptographic protocols. Alex Wilkie (University of Manchester), Some model theory for expansions of the complex field by holomorphic functions. The proceedings of Logic Colloquium ’10 will be published in a special issue of the Annals of Pure and Applied Logic. More information about the meeting can be found at the conference webpage, http:// logic2010.org/. Abstracts of invited and contributed talks given in person or by title by members of the Association follow.