On constructive models of theories with linear Rudin–Keisler ordering

ResearchSpace Repository

Show simple item record

dc.contributor.author Gavryushkin, Alexander en
dc.contributor.editor Bagaria, J en
dc.coverage.spatial Sofia, Bulgaria en
dc.date.accessioned 2012-03-29T19:25:57Z en
dc.date.issued 2010-03 en
dc.identifier.uri http://hdl.handle.net/2292/16070 en
dc.description.abstract Logic Colloquium ’09, the 2009 European Summer Meeting of the Association for Symbolic Logic, was hosted by the Sofia University from July 31 to August 5, 2009. Major funding was provided by the Association for Symbolic Logic (ASL), the Bulgarian National Science Fund of the Ministry of Education and Science, and the U. S. National Science Foundation (NSF). The success of the meeting was due largely to the hard work of the Local Organizing Committee under the leadership of its Chair, Alexandra Soskova. The other members were Dimitar Dobrev, Dimitar Guelev, Lyubomir Ivanov, Stela Nikolova, Solomon Passy, Dimitar Shiyachki, Mariya Soskova, Mitko Yanchev, and Anton Zinoviev. The Program Committee consisted of Samson Abramsky (Oxford), Klaus Ambos-Spies (Heidelberg), Joan Bagaria (University of Barcelona, Chair), Fernando Ferreira (Lisbon), Martin Goldstern (Vienna), Erich Graedel (Aachen), Ehud Hrushovski (Israel), Tapani Hyttinen (Helsinki), Yiannis Moschovakis, (UCLA), Margarita Otero (Madrid), Stewart Shapiro (Ohio State), Ivan Soskov (Sofia), and W. Hugh Woodin (Berkeley). The main conference topics were: Computability Theory, Logic and Category Theory, Model Theory: New Directions in Classification Theory, Philosophical Logic, and Set Theory. The program included the Godel lecture, three tutorial courses, twelve invited plena ¨ ry lectures, and twenty invited lectures in five special sessions. There were eighty contributed papers and two hundred and eight participants from thirty-seven countries. Thirty-five students and recent Ph.D’s were awarded ASL travel grants, and seven obtained awards from the ASL’s NSF grant. The registration fees of twenty-five Bulgarian students were covered by local sponsors. A satellite meeting, the Workshop on Computability Theory 2009, organized by the Logic Group of the Sofia University, took place at the same venue following the Logic Colloquium (August 6–7). The Godel lecture was delivered by Richard A. Shore (Cornell Univ ¨ ersity), with the title: Reverse mathematics: the playground of logic. The following tutorial courses were delivered: Ulrich Kohlenbach (Technische Universitat Darmstadt), ¨ Applied proof theory: proof interpretations and their use in mathematics. Andre Nies (University of Auckland), Applying randomness to computability. Ralf Schindler (Universitat M¨ unster), ¨ The evolution of inner models. The following invited plenary lectures were presented: Elisabeth Bouscaren (Universite Paris-Sud 11), ´ Ranks in model theory and definable groups. S. Barry Cooper (University of Leeds), Definability in the real universe. Thierry Coquand (University of Gothenburg), Infinite objects in constructive mathematics. Ilijas Farah (York University), Ultrapowers of operator algebras. Valentina S. Harizanov (George Washington University), Four notions of degree spectra. Stephan Kreutzer (Oxford University), Algorithmic meta-theorems: upper and lower bounds. David W. Kueker (University of Maryland), Abstract elementary classes. Benjamin Miller, Forceless, ineffective, powerless proofs of descriptive set-theoretic dichotomy theorems. Itay Neeman (University of California Los Angeles), Forcing with ultrafilters. Dana S. Scott (Carnegie Mellon University), Mixing modality and provability. Katrin Tent (University of Munster), Computable functions on the reals. Jouko Va¨an¨ anen (University of Amsterdam), ¨ Dependence logic. The proceedings of Logic Colloquium ’09 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://lc2009.fmi.uni-sofia.bg/. Abstracts of invited and contributed talks given in person or by title by members of the Association follow. en
dc.description.uri http://projecteuclid.org/euclid.bsl/1264433799 en
dc.publisher Association for Symbolic Logic en
dc.relation.ispartof Logic Colloquium 2009. European Summer Meeting of the Association for Symbolic Logic en
dc.relation.ispartofseries The Bulletin of Symbolic Logic en
dc.rights Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. en
dc.rights.uri https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm en
dc.title On constructive models of theories with linear Rudin–Keisler ordering en
dc.type Conference Item en
dc.identifier.doi 10.2178/bsl/1264433799 en
pubs.issue 1 en
pubs.begin-page 118 en
pubs.volume 16 en
dc.rights.holder Copyright: Association for Symbolic Logic en
pubs.author-url http://lc2009.fmi.uni-sofia.bg/ en
pubs.end-page 118 en
pubs.finish-date 2009-08-05 en
pubs.publication-status Published en
pubs.start-date 2009-07-31 en
dc.rights.accessrights http://purl.org/eprint/accessRights/RestrictedAccess en
pubs.subtype Abstract en
pubs.elements-id 327401 en
pubs.record-created-at-source-date 2012-03-19 en

Files in this item

Find Full text

This item appears in the following Collection(s)

Show simple item record


Search ResearchSpace

Advanced Search