Lajos Soukup, Grigor Sargsyan, Laurent Bienvenu, Barbara F. Csima, Daniel T. Soukup, Taishi Kurahashi, Yoshihiro Maruyama, Osvaldo Guzmán, J. Joosten, S. Terwijn, Takayuki Kihara
{"title":"ASSOCIATION FOR SYMBOLIC LOGIC","authors":"Lajos Soukup, Grigor Sargsyan, Laurent Bienvenu, Barbara F. Csima, Daniel T. Soukup, Taishi Kurahashi, Yoshihiro Maruyama, Osvaldo Guzmán, J. Joosten, S. Terwijn, Takayuki Kihara","doi":"10.1017/bsl.2022.4","DOIUrl":"https://doi.org/10.1017/bsl.2022.4","url":null,"abstract":"• Links to our Journal Articles. In light of the pandemic-related delays in the mailing of journals, this attachment to the ASL Newsletter lists articles that have appeared online in our three journals since June 1 and will be published in upcoming issues. The links given will take you to the webpage of each article listed, within the website of Cambridge University Press. Current ASL members should receive free access to these articles, as part of the journal subscriptions that are included with membership. Look for “Access options” on the article’s webpage, and log in with your personal Cambridge Core account, which is the same account you use to create or renew your ASL membership. (ASL members do not use an institutional login.) Some assistance is available at https://www.cambridge.org/core/help/faqs . Articles that have been in press since May 2021 or earlier are also available at the journal websites.","PeriodicalId":22265,"journal":{"name":"The Bulletin of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76665683","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"BSL volume 27 issue 4 Cover and Front matter","authors":"","doi":"10.1017/bsl.2022.5","DOIUrl":"https://doi.org/10.1017/bsl.2022.5","url":null,"abstract":"","PeriodicalId":22265,"journal":{"name":"The Bulletin of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87193272","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Some Progress on the Unique Ergodicity Problem","authors":"Colin Jahel","doi":"10.1017/bsl.2021.63","DOIUrl":"https://doi.org/10.1017/bsl.2021.63","url":null,"abstract":"Abstract This thesis is at the intersection of dynamics, probability and model theory. It focuses on a specialization of the notion of amenability: unique ergodicity. Let G be a Polish group, i.e., a topological group whose topology is separable and completely metrizable. We call a G-flow the action of G on a compact space. A G-flow is said to be minimal if every orbit is dense. A famous theorem of Ellis states that any Polish group G admits a unique universal minimal flow that we denote \u0000${mathrm {M}}(G)$\u0000 . This means that for any minimal G-flow X there is a surjective G-map from \u0000${mathrm {M}}(G)$\u0000 to X. G is said to be amenable if every G-flow admits an invariant probability measure, and uniquely ergodic if every minimal flow admits a unique invariant probability measure. The notion of unique ergodicity relating to a group was introduced by Angel, Kechris and Lyons. They also ask the following question which is the main focus of the thesis: Let G be an amenable Polish group with metrizable universal minimal flow, is G uniquely ergodic? Note that unique ergodicity is an interesting notion only for relatively large groups, as it is proved in the last chapter of this thesis that locally compact non compact Polish groups are never uniquely ergodic. This result is joint work with Andy Zucker. The thesis includes proofs of unique ergodicity of groups with interesting universal minimal flows, namely the automorphism group of the semigeneric directed graph and the automorphism group of the \u0000$2$\u0000 -graph. It also includes a theorem stating that under some hypothesis on a \u0000$omega $\u0000 -categorical structure M, the logic action of \u0000${mathrm {Aut}}(M)$\u0000 on \u0000${mathrm {LO}}(M)$\u0000 , the compact space of linear orders on M, is uniquely ergodic. This implies unique ergodicity for the group if its universal minimal flow happens to be the space of linear orderings. It can also be used to prove non-amenability of some groups for which the action of \u0000${mathrm {Aut}}(M)$\u0000 on \u0000${mathrm {LO}}(M)$\u0000 is not minimal. This result is joint work with Todor Tsankov. Finally, the thesis also presents a proof that under the assumption that the universal minimal flows involved are metrizable, unique ergodicity is stable under group extensions. This result is joint work with Andy Zucker. Abstract prepared by Colin Jahel. E-mail: cjahel@andrew.cmu.edu URL: http://math.univ-lyon1.fr/~jahel/doc/These.pdf","PeriodicalId":22265,"journal":{"name":"The Bulletin of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76772958","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"IN MEMORIAM: MICHAEL MORLEY, 1930–2020","authors":"John Baldwin, D. Marker","doi":"10.1017/bsl.2021.57","DOIUrl":"https://doi.org/10.1017/bsl.2021.57","url":null,"abstract":"Michael Darwin Morley, aged 90, Emeritus Professor of Mathematics at Cornell University, passed away October 12, 2020. Morley’s groundbreaking 1965 paper Categoricity in Power was the beginning of modern model theory and laid the foundation for decades of future developments. Morley was born September 29, 1930 in Youngstown, Ohio and received his B.S. degree in mathematics from Case Institute of Technology in 1951. In 1952, he began graduate work at the University of Chicago joining an energetic group of young logicians including William Howard, John Myhill, Anil Nerode, Raymond Smullyan, Stanley Tennenbaum, and the undergraduate Paul Cohen. While at the University of Chicago he met his future wife Vivienne Brenner, a fellow graduate student who finished her thesis on singular integrals under Antoni Zygmund in 1956. They were a devoted couple for over 50 years. Saunders Mac Lane served as his formal advisor at the University of Chicago. Mac Lane refused to grant a Ph.D. for Morley’s early work on saturated models, but helped arrange for Morley’s employment from 1955 to 1961 at the University of Chicago’s Laboratory for Applied Sciences, where he considered military applications of mathematics. Much of Morley’s work on saturated models was discovered independently by Robert Vaught and Morley left Chicago in 1961 to work with Vaught at Berkeley, first as a visiting graduate student and later as an Instructor. Together they published their independent development of saturated models in [26]. This paper built on Barni Jónsson’s development of the notion of uncountable universal-homogeneous models in universal algebra. Its innovations included a) replacing substructure with elementary substructure, and thus universally axiomatizable theories with first order theories, b) introducing special models so as to avoid the reliance on using the GCH (introduced by Hausdorff) to study universal models, and c) the general proof of the uniqueness of saturated models in a given regular cardinality.","PeriodicalId":22265,"journal":{"name":"The Bulletin of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80579660","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Towards Finding a Lattice that Characterizes the \u0000${>} omega ^2$\u0000 -Fickle Recursively Enumerable Turing Degrees","authors":"Liling Ko","doi":"10.1017/bsl.2021.56","DOIUrl":"https://doi.org/10.1017/bsl.2021.56","url":null,"abstract":"Abstract Given a finite lattice L that can be embedded in the recursively enumerable (r.e.) Turing degrees \u0000$langle mathcal {R}_{mathrm {T}},leq _{mathrm {T}}rangle $\u0000 , we do not in general know how to characterize the degrees \u0000$mathbf {d}in mathcal {R}_{mathrm {T}}$\u0000 below which L can be bounded. The important characterizations known are of the \u0000$L_7$\u0000 and \u0000$M_3$\u0000 lattices, where the lattices are bounded below \u0000$mathbf {d}$\u0000 if and only if \u0000$mathbf {d}$\u0000 contains sets of “fickleness” \u0000$>omega $\u0000 and \u0000$geq omega ^omega $\u0000 respectively. We work towards finding a lattice that characterizes the levels above \u0000$omega ^2$\u0000 , the first non-trivial level after \u0000$omega $\u0000 . We introduced a lattice-theoretic property called “ \u0000$3$\u0000 -directness” to describe lattices that are no “wider” or “taller” than \u0000$L_7$\u0000 and \u0000$M_3$\u0000 . We exhaust the 3-direct lattices L, but they turn out to also characterize the \u0000$>omega $\u0000 or \u0000$geq omega ^omega $\u0000 levels, if L is not already embeddable below all non-zero r.e. degrees. We also considered upper semilattices (USLs) by removing the bottom meet(s) of some 3-direct lattices, but the removals did not change the levels characterized. This leads us to conjecture that a USL characterizes the same r.e. degrees as the lattice on which the USL is based. We discovered three 3-direct lattices besides \u0000$M_3$\u0000 that also characterize the \u0000$geq omega ^omega $\u0000 -levels. Our search for a \u0000$>omega ^2$\u0000 -candidate therefore involves the lattice-theoretic problem of finding lattices that do not contain any of the four \u0000$geq omega ^omega $\u0000 -lattices as sublattices. Abstract prepared by Liling Ko. E-mail: ko.390@osu.edu URL: http://sites.nd.edu/liling-ko/","PeriodicalId":22265,"journal":{"name":"The Bulletin of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75932645","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}