The Bulletin of Symbolic Logic the Bulletin of Symbolic Logic

THE BULLETIN OF SYMBOLIC LOGIC THE BULLETIN OF SYMBOLIC LOGIC

Edited by Frank Wagner, Managing Editor Vol. 21 Patricia Blanchette Menachem Kojman Andrea Cantini Leonid Libkin Thierry Coquand André Nies . Number 4 Deirdre Haskell

Reviews Editors Ernest Schimmerling, Managing Editor for Reviews . December 2015 Mark Colyvan Colin McLarty Anuj Dawar Rahim Moosa Michael Fourman Henry Towsner Steffen Lempp Kai Wehmeier Bernard Linsky . Pages 373-502

VOLUME 21 • NUMBER 4 • DECEMBER 2015 • ISSN 1079-8986

Cambridge Journals Online For further information about this journal please go to the journal web site at: journals.cambridge.org/bsl PUBLISHED BY CAMBRIDGE UNIVERSITY PRESS FOR AND ON BEHALF OF THE ASSOCIATION OF SYMBOLIC LOGIC. Downloaded from https://www.cambridge.org/core. IP address: 170.106.34.90, on 23 Sep 2021 at 11:03:23, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/bsl.2015.45 The BULLETIN, the JOURNAL and the REVIEW OF SYMBOLIC LOGIC are the official organs of the Association for Symbolic Logic, an international organization for furthering research in logic and the exchange of ideas among mathematicians, computer scientists, linguists, and others interested in this fi eld. The BULLETIN encourages submissions of Articles and Communications in all areas of logic, including mathematical or philosophical logic, logic in computer science or linguistics, the history or philosophy of logic, and applications of logic to other fields. The BULLETIN also publishes reviews of publications in logic. Editors THE BULLETIN OF SYMBOLIC LOGIC (ISSN print: 1079–8986, ISSN online: 1943–5894) is pub- Frank Wagner (Managing Editor), Insitut Camille Jordan, UMR 5208, Bâtiment Braconnier, Université lished quarterly, in the months of March, June, September. and December, by the Association for Symbolic Lyon 1, 21, avenue Claude Bernard, 69622 Villeurbanne Cedex, France Logic, Inc., 124 Raymond Avenue, Poughkeepsie, NY 12604–0001, USA. Periodicals postage is paid at [email protected] Poughkeepsie NY and at additional mailing offi ces. The BULLETIN is distributed with THE JOURNAL Patricia Blanchette, Department of Philosophy, University of Notre Dame, 100 Malloy Hall, Notre Dame, IN 46556, USA OF SYMBOLIC LOGIC. The 2015 annual subscription price for the two journals, in either print or electronic form, is US$764, £479 or €589; the print/electronic bundle prices are $850, £534 or €657: visit [email protected] Andrea Cantini, Department of Philosophy Università degli Studi di Firenze, Via Bolognese 52, I-50139 http: / / journals . cambridge.org/bs l for more information. Postmaster: Send address changes to Firenze, Italy Journals Customer Services Department, Cambridge University Press, 32 Avenue of the Americas, cantini@unifi .it New York, NY 10013, USA. Business correspondence should be sent to the Secretary-Treasurer of the Thierry Coquand, University of Gothenburg, Department of Computer Science and Engineering, SE–4196 Asso ciation, Charles Steinhorn (address below). Gothenburg, Sweden Subscription orders for the JOURNAL and BULLETIN, or REVIEW should be sent to subscr i pt ions_ [email protected] Deirdre Haskell, Department of Mathematics and Statistics, McMaster University, 1280 Main St. W, [email protected]. All orders must be accompanied by payment by check, credit card (Visa, Hamilton ON L8S 4K1, Canada MasterCard, JCB or American Express only), or debit card. To receive a replacement copy of the BULLETIN, [email protected] please report damaged, defective or missing issues within nine months of the date of publication. Menachem Kojman, Department of Mathematics, Ben-Gurion University of the Negev, Beer-Sheva, Israel Volumes l through 19 of the BULLETIN are available online at JSTOR: volumes l through 20 via Cam- 84105 bridge University Press, ht t p : / / journa l s . cambri dge . org / bs l – access to the latter is free to mem- [email protected] Leonid Libkin, Laboratory for Foundations of Computer Science, University of Edinburgh, Informatics bers. Forum, IF 5.33, Crichton Street, Edinburgh, EH8 9AB, UK Individual membership in the Association is open to anyone interested in its work. Annual dues for [email protected] members are US$94, £59 sterling or €72 ($47, £30 sterling or €36 for student, emeritus and unemployed Andre Nies, Department of Computer Science, University of Auckland, Private Bag 92019, Auckland, members; see ht t p: / /www.as l onl ine . org /membership-individual .html for more information, New Zealand including conditions and privileges). Dues include subscriptions to the current volumes of the JOURNAL, [email protected] the BULLETIN, and the REVIEW. Reviews editors Institutional membership in the Association is available to any academic institution or department. Annual Ernest Schimmerling (Managing Editor), Department of Mathematical Sciences, Carnegie Mellon institutional membership dues for 2015 are US$1075 (full) or $625 (basic); privileges include choices of University, Pittsburgh, PA 15213, USA, [email protected] current subscriptions, back volumes, regular individual and student memberships. Mark Colyvan [email protected], Anuj Dawar [email protected], Michael Fourman [email protected], Steffen Lempp [email protected], Requests for information, applications for new membership, renewals of institutional membership, busi- Bernard Linsky [email protected], Colin McLarty [email protected], ness correspondence, and notices or announcements for publication in the BULLETIN should be sent to Rahim Moosa [email protected], Henry Towsner [email protected], Charles Steinhorn, Secretary–Treasurer of the ASL, Box 742, Vassar College, 124 Raymond Av- and Kai Wehmeier [email protected]. enue, Poughkeepsie, NY 12604, USA. The electronic mail address of the Association’s business offi ce Please follow the submission procedure described at is [email protected]. Requests for back issues should be sent to Cambridge University Press, address http://www.aslonline.org/journals-bulletin-guide.html above. It is recommended that papers be prepared in LATEX using the ASL’s class fi le, especially for manuscripts Individual membership renewals, notices of change of address, and dues payments, should be sent to having extensive symbolic or mathematical notation. This style fi le is available from the ASL’s website Association for Symbolic Logic, c/o Journals Customer Services Department, Cambridge University at http://www.aslonline.org; links from that site provide further information about the BULLETIN Press, 32 Avenue of the Americas, New York, NY 10013, USA, [email protected]. and about submitting papers for publication. No print offprints will be supplied but authors will receive a link to a freely accessible electronic pdf of The paper used in the BULLETIN is acid-free and falls within the guidelines established to ensure perma- their published article. Print offprints may be purchased if required. nence and stability. Articles present topics of broad interest in a way that is accessible to a large audience. They can be purely The BULLETIN has been registered with the Copyright Clearance Center, Inc. The appearance of a code expository, survey, or historical articles or they may contain, in addition, new ideas or results or new at the bottom of the fi rst page of an article indicates the copyright owner’s consent for copying beyond approaches to old ones. that permitted by Sections 107 or 108 of the US Copyright Law, provided that the per-copy fee stated Communications should be announcements of important new results and ideas in any aspect of logic; in the code is paid directly to Copyright Clearance Center Inc., 222 Rosewood Drive, Danvers, MA they may be short papers in their fi nal form or preliminary announcements (extended abstracts, position 01923, USA. This consent does not extend to copying for general distribution, for advertising or promotion papers) of longer, full papers that will be published elsewhere. In any case, they should include, in addition purposes, for creating new collective works, or for resale. Specifi c written permission for such copying to a description of the new results or ideas, enough history, background, and explanation to make the must be obtained from the Association. significance of the work apparent to a wide audience. Communications will be quickly refereed and published within six months of the submission of fi nal version. Books for review in the BULLETIN should be sent to ASL, BOX 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, NY 12604, USA.

Downloaded from https://www.cambridge.org/core. IP address: 170.106.34.90, on 23 Sep 2021 at 11:03:23, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/bsl.2015.45 TABLE OF CONTENTS

ARTICLES

Symmetries in modal logics, by CARLOS ARECES and EZEQUIEL ORBE ...... 373 The classiﬁ cation problem for automorphisms of C*-algebras, by MARTINO LUPINI ...... 402

REVIEWS

Model theory of operator algebras, Reviewed by ITAÏ BEN YAACOV ...... 425 Two articles on the classiﬁ cation of separable C*-algebras, Reviewed by SAMUEL COSKEY ...... 427

OBITUARY

Jaakko Hintikka 1929–2015, by JOUKO VÄÄNÄNEN ...... 431

2014–2015 Winter Meeting of the Association for Symbolic Logic, Henry B. Gonzalez Convention Center, San Antonio, TX, USA, January 12–13, 2015 ...... 437 VII Conference and II School on Topology, Algebra, and Categories in Logic (TACL), 2015, Fisciano (School) and Ischia (Conference), Italy, June 15–19, 2015 (School) and June 21–26, 2015 (Conference) ...... 444 Oﬃ cers and Committees of the Association for Symbolic Logic ...... 446 Members of the Association ...... 451 Notices ...... 496