Bulletin of Symbolic Logic最新文献

{"title":"BSL volume 14 issue 3 Cover and Front matter","authors":"","doi":"10.1017/s1079898600009665","DOIUrl":"https://doi.org/10.1017/s1079898600009665","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"14 1","pages":"f1 - f6"},"PeriodicalIF":0.6,"publicationDate":"2008-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1017/s1079898600009665","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"57316005","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"2007-2008 Winter Meeting of the Association for Symbolic Logic","authors":"J. Remmel","doi":"10.2178/bsl/1231081374","DOIUrl":"https://doi.org/10.2178/bsl/1231081374","url":null,"abstract":"s of invited talks GREGORY L. CHERLIN,Model theory and algebraic groups. Department of Mathematics, Rutgers University, 110 Frelinghuysen Road, Busch Campus, Piscataway, NJ 08554, USA. We discuss three connections between model theory and the theory of algebraic groups. Model theoretic methods have been applied to diophantine problems via a model theoretic analysis of abelian varieties in categories extending the algebraic category. In the reverse direction, the structure of algebraic groups has been applied in model theoretic contexts. On one hand, the structure of compact Lie groups has been shown to exercise great control over the structure of groups definable in suitable (o-minimal) expansions of the theory of the real field, and on the other hand it has been conjectured that the simple groups arising in Zilber’s analysis of uncountably categorical theories are algebraic. (Classically, one of the c © 2008, Association for Symbolic Logic 1079-8986/08/1403-0006/$2.00","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"14 1","pages":"402 - 411"},"PeriodicalIF":0.6,"publicationDate":"2008-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.2178/bsl/1231081374","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68346912","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Absolute generality , edited by Agustín Rayo and Gabriel Uzquiano, Clarendon Press, Oxford, 2006, ix + 396 pp.","authors":"Philip Smith","doi":"10.2178/BSL/1231081373","DOIUrl":"https://doi.org/10.2178/BSL/1231081373","url":null,"abstract":"The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Alasdair Urquhart (Managing Editor), Steve Awodey, John Baldwin, LevBeklemishev, Anuj Dawar,MirnaDžamonja, David Evans, ErichGrädel, Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux, Grigori Mints, and Volker Peckhaus. Authors and publishers are requested to send, for review, copies of books to ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, NY 12604, USA. In a review, a reference “JSL XLIII 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the Journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “BSL VII 376” refers to the review beginning on page 376 in volume 7 of this Bulletin, or to the publication there reviewed. “JSL LV 347” refers to one of the reviews or one of the publications reviewed or listed on page 347 of volume 55 of the Journal, with reliance on the context to show which one is meant. The reference “JSL LIII 318(3)” is to the third item on page 318 of volume 53 of the Journal, that is, to van Heijenoort’s Frege and vagueness, and “JSL LX 684(8)” refers to the eighth item on page 684 of volume 60 of the Journal, that is, to Tarski’s Truth and proof. References such as 495 or 2801 are to entries so numbered in A bibliography of symbolic logic (the Journal, vol. 1, pp. 121–218).","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"14 1","pages":"398 - 401"},"PeriodicalIF":0.6,"publicationDate":"2008-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.2178/BSL/1231081373","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68346858","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A Brief Introduction to Algebraic Set Theory","authors":"S. Awodey","doi":"10.2178/bsl/1231081369","DOIUrl":"https://doi.org/10.2178/bsl/1231081369","url":null,"abstract":"Abstract This brief article is intended to introduce the reader to the field of algebraic set theory, in which models of set theory of a new and fascinating kind are determined algebraically. The method is quite robust, applying to various classical, intuitionistic, and constructive set theories. Under this scheme some familiar set theoretic properties are related to algebraic ones, while others result from logical constraints. Conventional elementary set theories are complete with respect to algebraic models, which arise in a variety of ways, such as topologically, type-theoretically, and through variation. Many previous results from topos theory involving realizability, permutation, and sheaf models of set theory are subsumed, and the prospects for further such unification seem bright.","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"14 1","pages":"281 - 298"},"PeriodicalIF":0.6,"publicationDate":"2008-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.2178/bsl/1231081369","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68346483","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"BSL volume 14 issue 2 Cover and Front matter","authors":"","doi":"10.1017/s1079898600009641","DOIUrl":"https://doi.org/10.1017/s1079898600009641","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"14 1","pages":"f1 - f6"},"PeriodicalIF":0.6,"publicationDate":"2008-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1017/s1079898600009641","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"57315803","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"BSL volume 14 issue 2 Cover and Back matter","authors":"","doi":"10.1017/s1079898600009653","DOIUrl":"https://doi.org/10.1017/s1079898600009653","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"14 1","pages":"b1 - b4"},"PeriodicalIF":0.6,"publicationDate":"2008-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1017/s1079898600009653","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"57315925","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Rudolf Taschner. The Continuum . Friedrich Vieweg & Sohn Verlag, Wiesbaden, Germany, 2005, 136 pp.","authors":"Robert S. Lubarsky","doi":"10.1017/S1079898600001724","DOIUrl":"https://doi.org/10.1017/S1079898600001724","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"14 1","pages":"260 - 262"},"PeriodicalIF":0.6,"publicationDate":"2008-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1017/S1079898600001724","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"57302836","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Mathematical Fuzzy Logics","authors":"S. Gottwald","doi":"10.2178/bsl/1208442828","DOIUrl":"https://doi.org/10.2178/bsl/1208442828","url":null,"abstract":"Abstract The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them. It concentrates on the propositional cases, and mentions the first-order systems more superficially. The main ideas, however, become clear already in this restricted setting.","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"14 1","pages":"210 - 239"},"PeriodicalIF":0.6,"publicationDate":"2008-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.2178/bsl/1208442828","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68346253","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Automata Presenting Structures: A Survey of the Finite String Case","authors":"S. Rubin","doi":"10.2178/bsl/1208442827","DOIUrl":"https://doi.org/10.2178/bsl/1208442827","url":null,"abstract":"Abstract A structure has a (finite-string) automatic presentation if the elements of its domain can be named by finite strings in such a way that the coded domain and the coded atomic operations are recognised by synchronous multitape automata. Consequently, every structure with an automatic presentation has a decidable first-order theory. The problems surveyed here include the classification of classes of structures with automatic presentations, the complexity of the isomorphism problem, and the relationship between definability and recognisability.","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"14 1","pages":"169 - 209"},"PeriodicalIF":0.6,"publicationDate":"2008-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.2178/bsl/1208442827","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68346607","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Kosta Došen and Zoran Petrić. Proof-net categories . Polymetrica International Scientific Publisher, Monza, Italy, 2007, viii + 147 pp.","authors":"Lutz Straßburger","doi":"10.1017/S1079898600001761","DOIUrl":"https://doi.org/10.1017/S1079898600001761","url":null,"abstract":"also suggests a non-standard syllogistics with restricted quantifiers, using a symbolism like “C 2 is B” standing for “I know only with half certainty that C is B”. The central piece is the famous “Sammlung der Schriften, welche den logischen Calcul Herrn Prof. Ploucquet’s betreffen, mit neuen Zusätzen” (Collection of writings concerning Professor Ploucquet’s logical calculus, with new additions) (pp. 37–316), first published by August Friedrich Bök in 1766. It contains the documents of an argument about the qualities of Lambert’s line calculus in comparison with the geometrical calculus of Gottfried Ploucquet, professor of philosophy in Tübingen, who used rectangulars on the basis of an identity theory of judgements. Further contributions by Heinrich Wilhelm Clemm and Georg Jonathan Holland are included in this collection. A short tract “De universaliori calculi idea disquisitio una cum adnexo specimine” (pp. 327–359) first published in Nova acta eruditorum (1765) explicitly extends the Leibnizian idea of a universal calculus. Lambert suggests a calculus of properties and qualities using algebraic symbols for logical operations and relations. It is Lambert’s only publication on calculi of intensions. His “Sechs Versuche einer Zeichenkunst in der Vernunftlehre” (Six attempts of an art of characters in a theory of reason) appeared posthumously (see vol. VI of the Philosophische Schriften). Considerations on a characteristic art and its application to different fields are taken up in other papers like “In algebram philosophicam cl. Richeri breves adnotationes” (pp. 361– 372) or “Observations sur quelques dimensions du monde intellectuel” (pp. 373–390) with an application to esthetics. Partial volume 2 is devoted to Lambert’s reviews published in the Allgemeine Deutsche Bibliothek between 1768 and 1777, among them several comments on works on logic. An index of the books reviewed makes access easier. This edition provides facsimile reprints of the texts. A comprehensive introduction gives useful information on the background and summaries of the material edited. This important edition of Lambert’s philosophical works will be finished in 2008 with volume X, containing further philosophical writings, drafts and reviews with new material from the Nachlass. The edition provides a reliable textual basis for investigating the philosophical ideas of this major figure in European enlightenment who wrote in Leibnizian spirit. Volker Peckhaus Universität Paderborn, Institut für Humanwissenschaften: Philosophie, Warburger Str. 100, D-33098 Paderborn, Germany. volker.peckhaus@upb.de.","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"14 1","pages":"268 - 271"},"PeriodicalIF":0.6,"publicationDate":"2008-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1017/S1079898600001761","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"57302696","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}