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

Computability Theory and Foundations of Mathematics最新文献

筛选
英文 中文
On One-Variable Fragments of Modal µ-Calculus 关于模态微微积分的单变量片段
Computability Theory and Foundations of Mathematics Pub Date : 2022-06-01 DOI: 10.1142/9789811259296_0002
Leonardo Pacheco, Wenjuan Li, Kazuyuki Tanaka
{"title":"On One-Variable Fragments of Modal µ-Calculus","authors":"Leonardo Pacheco, Wenjuan Li, Kazuyuki Tanaka","doi":"10.1142/9789811259296_0002","DOIUrl":"https://doi.org/10.1142/9789811259296_0002","url":null,"abstract":"","PeriodicalId":239964,"journal":{"name":"Computability Theory and Foundations of Mathematics","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128125340","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}
引用次数: 0
Chi-Tat Chong’s Work on Reverse Mathematics 张志达的逆向数学研究
Computability Theory and Foundations of Mathematics Pub Date : 2022-06-01 DOI: 10.1142/9789811259296_0001
Yue Yang
{"title":"Chi-Tat Chong’s Work on Reverse Mathematics","authors":"Yue Yang","doi":"10.1142/9789811259296_0001","DOIUrl":"https://doi.org/10.1142/9789811259296_0001","url":null,"abstract":"","PeriodicalId":239964,"journal":{"name":"Computability Theory and Foundations of Mathematics","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114572776","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}
引用次数: 0
Infinite Games, Inductive Definitions and Transfinite Recursion 无限对策，归纳定义和超越递归
Computability Theory and Foundations of Mathematics Pub Date : 2022-06-01 DOI: 10.1142/9789811259296_0003
Kazuyuki Tanaka, Keisuke Yoshii
{"title":"Infinite Games, Inductive Definitions and Transfinite Recursion","authors":"Kazuyuki Tanaka, Keisuke Yoshii","doi":"10.1142/9789811259296_0003","DOIUrl":"https://doi.org/10.1142/9789811259296_0003","url":null,"abstract":"","PeriodicalId":239964,"journal":{"name":"Computability Theory and Foundations of Mathematics","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133005362","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}
引用次数: 0
Reverse Mathematics of Separation Theorems in Lattice Theory 格理论中分离定理的逆数学
Computability Theory and Foundations of Mathematics Pub Date : 2022-06-01 DOI: 10.1142/9789811259296_0008
Junren Ru, Guohua Wu
{"title":"Reverse Mathematics of Separation Theorems in Lattice Theory","authors":"Junren Ru, Guohua Wu","doi":"10.1142/9789811259296_0008","DOIUrl":"https://doi.org/10.1142/9789811259296_0008","url":null,"abstract":"","PeriodicalId":239964,"journal":{"name":"Computability Theory and Foundations of Mathematics","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122291530","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}
引用次数: 0
Rational Sequences Converging to Left-c.e. Reals of Positive Effective Hausdorff Dimension 收敛于左的有理序列。正有效Hausdorff维数的实数
Computability Theory and Foundations of Mathematics Pub Date : 2022-06-01 DOI: 10.1142/9789811259296_0005
Hiroyuki Imai, Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa, Toshio Suzuki
{"title":"Rational Sequences Converging to Left-c.e. Reals of Positive Effective Hausdorff Dimension","authors":"Hiroyuki Imai, Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa, Toshio Suzuki","doi":"10.1142/9789811259296_0005","DOIUrl":"https://doi.org/10.1142/9789811259296_0005","url":null,"abstract":"","PeriodicalId":239964,"journal":{"name":"Computability Theory and Foundations of Mathematics","volume":"58 9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129016461","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}
引用次数: 0
Takeuti-Yasumoto Forcing Revisited 对，我爱你
Computability Theory and Foundations of Mathematics Pub Date : 2022-06-01 DOI: 10.1142/9789811259296_0006
S. Kuroda
{"title":"Takeuti-Yasumoto Forcing Revisited","authors":"S. Kuroda","doi":"10.1142/9789811259296_0006","DOIUrl":"https://doi.org/10.1142/9789811259296_0006","url":null,"abstract":"","PeriodicalId":239964,"journal":{"name":"Computability Theory and Foundations of Mathematics","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125549290","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}
引用次数: 0
A Survey of the Distributional Complexity for AND-OR Trees AND-OR树的分布复杂度研究
Computability Theory and Foundations of Mathematics Pub Date : 2022-06-01 DOI: 10.1142/9789811259296_0004
Weiguang Peng
{"title":"A Survey of the Distributional Complexity for AND-OR Trees","authors":"Weiguang Peng","doi":"10.1142/9789811259296_0004","DOIUrl":"https://doi.org/10.1142/9789811259296_0004","url":null,"abstract":"","PeriodicalId":239964,"journal":{"name":"Computability Theory and Foundations of Mathematics","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130433366","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}
引用次数: 0
Permission and Obligation in Ceteris Paribus 在其他条件下的许可和义务
Computability Theory and Foundations of Mathematics Pub Date : 2022-06-01 DOI: 10.1142/9789811259296_0007
Huimin Dong
{"title":"Permission and Obligation in Ceteris Paribus","authors":"Huimin Dong","doi":"10.1142/9789811259296_0007","DOIUrl":"https://doi.org/10.1142/9789811259296_0007","url":null,"abstract":"","PeriodicalId":239964,"journal":{"name":"Computability Theory and Foundations of Mathematics","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127614854","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}
引用次数: 0
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学术文献互助群
群 号：604180095
Book学术官方微信