Pub Date : 2023-05-01DOI: 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":"1 1","pages":""},"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}
Pub Date : 2023-05-01DOI: 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":" ","pages":""},"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}
Pub Date : 2023-05-01DOI: 10.1215/00294527-10670096
Chieu-Minh Tran, Erik Walsberg
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.
{"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":" ","pages":""},"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}
Pub Date : 2023-02-01DOI: 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":" ","pages":""},"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}
Pub Date : 2023-02-01DOI: 10.1215/00294527-2023-0002
Anton Golov, Sebastiaan A. Terwijn
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.
{"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":"3 1","pages":"0"},"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}
Pub Date : 2022-11-01DOI: 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":" ","pages":""},"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}
Pub Date : 2022-11-01DOI: 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":" ","pages":""},"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：