论自由伪补分布晶格的普遍理论

arXiv - MATH - Logic Pub Date : 2024-09-05 DOI:arxiv-2409.03640

Luca Carai, Tommaso Moraschini

{"title":"论自由伪补分布晶格的普遍理论","authors":"Luca Carai, Tommaso Moraschini","doi":"arxiv-2409.03640","DOIUrl":null,"url":null,"abstract":"It is shown that the universal theory of the free pseudocomplemented\ndistributive lattice is decidable and a recursive axiomatization is presented.\nThis contrasts with the case of the full elementary theory of the finitely\ngenerated free algebras which is known to be undecidable. As a by-product, a\ndescription of the pseudocomplemented distributive lattices that can be\nembedded into the free algebra is also obtained.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2024-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On the universal theory of the free pseudocomplemented distributive lattice\",\"authors\":\"Luca Carai, Tommaso Moraschini\",\"doi\":\"arxiv-2409.03640\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"It is shown that the universal theory of the free pseudocomplemented\\ndistributive lattice is decidable and a recursive axiomatization is presented.\\nThis contrasts with the case of the full elementary theory of the finitely\\ngenerated free algebras which is known to be undecidable. As a by-product, a\\ndescription of the pseudocomplemented distributive lattices that can be\\nembedded into the free algebra is also obtained.\",\"PeriodicalId\":501306,\"journal\":{\"name\":\"arXiv - MATH - Logic\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.03640\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.03640","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

研究表明，自由伪补分布格的普遍理论是可判定的，并给出了递归公理化。作为副产品，还得到了可嵌入自由代数的伪补分布格的描述。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

On the universal theory of the free pseudocomplemented distributive lattice

It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free algebras which is known to be undecidable. As a by-product, a description of the pseudocomplemented distributive lattices that can be embedded into the free algebra is also obtained.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

arXiv - MATH - Logic

自引率

0.00%

发文量

期刊最新文献

Denotational semantics driven simplicial homology? AC and the Independence of WO in Second-Order Henkin Logic, Part II Positively closed parametrized models Neostability transfers in derivation-like theories Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section