发布求助
文献互助 智能选刊 最新文献

Bulletin of Symbolic Logic最新文献

筛选
英文 中文
Robert I. Soare, Turing Computability, Theory and Applications of Computability, Springer-Verlag, Berlin, Heidelberg, 2016, xxxvi + 263 pp Robert I. Soare，图灵可计算性，理论与应用，Springer-Verlag，柏林，海德堡，2016,xxxvi + 263页
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2017-03-01 DOI: 10.1017/bsl.2017.1
D. Dzhafarov
{"title":"Robert I. Soare, Turing Computability, Theory and Applications of Computability, Springer-Verlag, Berlin, Heidelberg, 2016, xxxvi + 263 pp","authors":"D. Dzhafarov","doi":"10.1017/bsl.2017.1","DOIUrl":"https://doi.org/10.1017/bsl.2017.1","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"11 1","pages":"113-115"},"PeriodicalIF":0.6,"publicationDate":"2017-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74705157","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}
引用次数: 0
Kenneth Kunen, Set Theory, Studies in Logic: Mathematical Logic and Foundations, Vol. 34, College Publications, London, 2011, viii + 401 pp Kenneth Kunen，集合论，逻辑研究:数理逻辑与基础，Vol. 34, College Publications, London, 2011, viii + 401 pp
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2016-09-01 DOI: 10.1017/BSL.2016.18
D. Milovich
{"title":"Kenneth Kunen, Set Theory, Studies in Logic: Mathematical Logic and Foundations, Vol. 34, College Publications, London, 2011, viii + 401 pp","authors":"D. Milovich","doi":"10.1017/BSL.2016.18","DOIUrl":"https://doi.org/10.1017/BSL.2016.18","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"113 1","pages":"353-354"},"PeriodicalIF":0.6,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83411734","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}
引用次数: 0
Vladimir Kanovei, Marcin Sabok, and Jindřich Zapletal, Canonical Ramsey Theory on Polish Spaces, Cambridge Tracts in Mathematics, vol. 202, Cambridge University Press, Cambridge, 2013, viii + 269 pp Vladimir Kanovei, Marcin Sabok, Jindřich Zapletal，波兰空间的正则拉姆齐理论，剑桥数学小册子，卷202，剑桥大学出版社，剑桥，2013,viii + 269页
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2016-09-01 DOI: 10.1017/BSL.2016.25
Clinton T. Conley
{"title":"Vladimir Kanovei, Marcin Sabok, and Jindřich Zapletal, Canonical Ramsey Theory on Polish Spaces, Cambridge Tracts in Mathematics, vol. 202, Cambridge University Press, Cambridge, 2013, viii + 269 pp","authors":"Clinton T. Conley","doi":"10.1017/BSL.2016.25","DOIUrl":"https://doi.org/10.1017/BSL.2016.25","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"162 1","pages":"358-360"},"PeriodicalIF":0.6,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75426958","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}
引用次数: 0
Valerio Capraro and Martino Lupini, Introduction to Sofic and Hyperlinear Groups and Connes' Embedding Conjecture, Lecture Notes in Mathematics, vol. 2136, Springer International Publishing, Switzerland, 2015, viii + 151 pp Valerio Capraro和Martino Lupini, Sofic和超线性群与cones嵌入猜想的介绍，数学讲义，卷2136，施普林格国际出版社，瑞士，2015,8 + 151页
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2016-09-01 DOI: 10.1017/BSL.2016.21
L. Bowen
{"title":"Valerio Capraro and Martino Lupini, Introduction to Sofic and Hyperlinear Groups and Connes' Embedding Conjecture, Lecture Notes in Mathematics, vol. 2136, Springer International Publishing, Switzerland, 2015, viii + 151 pp","authors":"L. Bowen","doi":"10.1017/BSL.2016.21","DOIUrl":"https://doi.org/10.1017/BSL.2016.21","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"46 1","pages":"356-358"},"PeriodicalIF":0.6,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78126547","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}
引用次数: 0
Relativizing Operational Set Theory 相对化操作集理论
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2016-09-01 DOI: 10.1017/BSL.2016.11
Gerhard Jäger
{"title":"Relativizing Operational Set Theory","authors":"Gerhard Jäger","doi":"10.1017/BSL.2016.11","DOIUrl":"https://doi.org/10.1017/BSL.2016.11","url":null,"abstract":"We introduce a way of relativizing operational set theory that also takes care of application. After presenting the basic approach and proving some essential properties of this new form of relativization we turn to the notion of relativized regularity and to the system OST (LR) that extends OST by a limit axiom claiming that any set is element of a relativized regular set. Finally we show that OST (LR) is proof-theoretically equivalent to the well-known theory KPi for a recursively inaccessible universe.","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"37 5","pages":"332-352"},"PeriodicalIF":0.6,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1017/BSL.2016.11","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72452190","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}
引用次数: 2
In Memoriam: Barry Cooper 1943-2015 纪念:巴里·库珀1943-2015
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2016-09-01 DOI: 10.1017/BSL.2016.17
Andrew Lewis-Pye, A. Sorbi
{"title":"In Memoriam: Barry Cooper 1943-2015","authors":"Andrew Lewis-Pye, A. Sorbi","doi":"10.1017/BSL.2016.17","DOIUrl":"https://doi.org/10.1017/BSL.2016.17","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"65 1","pages":"361-365"},"PeriodicalIF":0.6,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83964201","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}
引用次数: 0
Linear Time in Hypersequent Framework 超序框架中的线性时间
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2016-03-01 DOI: 10.1017/BSL.2016.2
Andrzej Indrzejczak
{"title":"Linear Time in Hypersequent Framework","authors":"Andrzej Indrzejczak","doi":"10.1017/BSL.2016.2","DOIUrl":"https://doi.org/10.1017/BSL.2016.2","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"15 1","pages":"121-144"},"PeriodicalIF":0.6,"publicationDate":"2016-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87838077","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}
引用次数: 17
Obituary: Jaakko Hintikka 1929-2015
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2015-12-01 DOI: 10.1017/BSL.2015.35
J. Väänänen
{"title":"Obituary: Jaakko Hintikka 1929-2015","authors":"J. Väänänen","doi":"10.1017/BSL.2015.35","DOIUrl":"https://doi.org/10.1017/BSL.2015.35","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"133 1","pages":"431-436"},"PeriodicalIF":0.6,"publicationDate":"2015-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73776703","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}
引用次数: 0
The Classification Problem for automorphisms of C*-Algebras C*-代数自同构的分类问题
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2015-01-13 DOI: 10.1017/BSL.2015.37
M. Lupini
{"title":"The Classification Problem for automorphisms of C*-Algebras","authors":"M. Lupini","doi":"10.1017/BSL.2015.37","DOIUrl":"https://doi.org/10.1017/BSL.2015.37","url":null,"abstract":"We present an overview of the recent developments in the study of the classification problem for automorphisms of C*-algebras from the perspective of Borel complexity theory.","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"5 1","pages":"402-424"},"PeriodicalIF":0.6,"publicationDate":"2015-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73368984","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}
引用次数: 1
Using Almost-everywhere theorems from Analysis to Study Randomness 使用几乎无处不在的定理从分析研究随机性
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2014-11-03 DOI: 10.1017/BSL.2016.10
Kenshi Miyabe, A. Nies, Jing Zhang
{"title":"Using Almost-everywhere theorems from Analysis to Study Randomness","authors":"Kenshi Miyabe, A. Nies, Jing Zhang","doi":"10.1017/BSL.2016.10","DOIUrl":"https://doi.org/10.1017/BSL.2016.10","url":null,"abstract":"We study algorithmic randomness notions via effective versions of almost-everywhere theorems from analysis and ergodic theory. The effectivization is in terms of objects described by a computably enumerable set, such as lower semicomputable functions. The corresponding randomness notions are slightly stronger than ML (ML) randomness. We establish several equivalences. Given a ML-random real $z$, the additional randomness strengths needed for the following are equivalent. \u0000n (1) all effectively closed classes containing $z$ have density $1$ at $z$. \u0000n (2) all nondecreasing functions with uniformly left-c.e. increments are differentiable at $z$. \u0000n (3) $z$ is a Lebesgue point of each lower semicomputable integrable function. \u0000We also consider convergence of left-c.e. martingales, and convergence in the sense of Birkhoff's pointwise ergodic theorem. Lastly we study randomness notions for density of $Pi^0_n$ and $Sigma^1_1$ classes.","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"100 1","pages":"305-331"},"PeriodicalIF":0.6,"publicationDate":"2014-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85489922","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}
引用次数: 18
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信