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

Notre Dame Journal of Formal Logic最新文献

筛选
英文 中文
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences 一个局部版本的Slaman-Wehner定理和有限差分下闭族
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2023-05-01 DOI: 10.1215/00294527-10670074
M. Faizrahmanov
{"title":"A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences","authors":"M. Faizrahmanov","doi":"10.1215/00294527-10670074","DOIUrl":"https://doi.org/10.1215/00294527-10670074","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41556809","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
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction Spiritus Asper与Lambda:论功能抽象的本质
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2023-05-01 DOI: 10.1215/00294527-10670089
A. Klev
{"title":"Spiritus Asper versus Lambda: On the Nature of Functional Abstraction","authors":"A. Klev","doi":"10.1215/00294527-10670089","DOIUrl":"https://doi.org/10.1215/00294527-10670089","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46825767","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
A Family of dp-Minimal Expansions of (Z;+) 一类(Z;+)的dp-极小展开式
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2023-05-01 DOI: 10.1215/00294527-10670096
Chieu-Minh Tran, Erik Walsberg
{"title":"A Family of dp-Minimal Expansions of (Z;+)","authors":"Chieu-Minh Tran, Erik Walsberg","doi":"10.1215/00294527-10670096","DOIUrl":"https://doi.org/10.1215/00294527-10670096","url":null,"abstract":"We show that the cyclically ordered-abelian groups expanding (Z;+) contain a continuum-size family of dp-minimal structures such that no two members define the same subsets of Z.","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47969689","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}
引用次数: 3
Bicontextualism
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2023-02-01 DOI: 10.1215/00294527-2023-0004
Lorenzo Rossi
{"title":"Bicontextualism","authors":"Lorenzo Rossi","doi":"10.1215/00294527-2023-0004","DOIUrl":"https://doi.org/10.1215/00294527-2023-0004","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42016338","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
The Complexity of Decomposability of Computable Rings 可计算环可分解性的复杂性
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2023-02-01 DOI: 10.1215/00294527-2023-0003
Huishan Wu
{"title":"The Complexity of Decomposability of Computable Rings","authors":"Huishan Wu","doi":"10.1215/00294527-2023-0003","DOIUrl":"https://doi.org/10.1215/00294527-2023-0003","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46722831","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
Core Gödel 哥德尔核心
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2023-02-01 DOI: 10.1215/00294527-2022-0033
Neil Tennant
{"title":"Core Gödel","authors":"Neil Tennant","doi":"10.1215/00294527-2022-0033","DOIUrl":"https://doi.org/10.1215/00294527-2022-0033","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44826170","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
Embeddings between Partial Combinatory Algebras 部分组合代数之间的嵌入
3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2023-02-01 DOI: 10.1215/00294527-2023-0002
Anton Golov, Sebastiaan A. Terwijn
{"title":"Embeddings between Partial Combinatory Algebras","authors":"Anton Golov, Sebastiaan A. Terwijn","doi":"10.1215/00294527-2023-0002","DOIUrl":"https://doi.org/10.1215/00294527-2023-0002","url":null,"abstract":"Partial combinatory algebras (pcas) are algebraic structures that serve as generalized models of computation. In this article, we study embeddings of pcas. In particular, we systematize the embeddings between relativizations of Kleene’s models, of van Oosten’s sequential computation model, and of Scott’s graph model, showing that an embedding between two relativized models exists if and only if there exists a particular reduction between the oracles. We obtain a similar result for the lambda calculus, showing in particular that it cannot be embedded in Kleene’s first model.","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135096521","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
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments Kripke–Platek环境中的阶段比较、不动点和最小不动点
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2022-11-01 DOI: 10.1215/00294527-2022-0025
G. Jäger
{"title":"Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments","authors":"G. Jäger","doi":"10.1215/00294527-2022-0025","DOIUrl":"https://doi.org/10.1215/00294527-2022-0025","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2022-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43485841","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
In Memoriam: Yoram Hirshfeld 纪念：约拉姆·赫什菲尔德
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2022-11-01 DOI: 10.1215/00294527-10353725
{"title":"In Memoriam: Yoram Hirshfeld","authors":"","doi":"10.1215/00294527-10353725","DOIUrl":"https://doi.org/10.1215/00294527-10353725","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2022-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41556286","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
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp. Terence Tao，希尔伯特第五问题及相关主题。美国数学学会，普罗维登斯，2014。338页。
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2022-11-01 DOI: 10.1215/00294527-2022-0030
Isaac Goldbring
{"title":"Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.","authors":"Isaac Goldbring","doi":"10.1215/00294527-2022-0030","DOIUrl":"https://doi.org/10.1215/00294527-2022-0030","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2022-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41580515","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
首页 上一页 下一页 尾页
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学术官方微信