用束表示mv -代数的集合论证明

Q1 Arts and Humanities

Journal of Applied Non-Classical Logics Pub Date : 2022-10-02 DOI:10.1080/11663081.2023.2190007

Alejandro Estrada, Y. Poveda

{"title":"用束表示mv -代数的集合论证明","authors":"Alejandro Estrada, Y. Poveda","doi":"10.1080/11663081.2023.2190007","DOIUrl":null,"url":null,"abstract":"ABSTRACT In this paper, we provide a set-theoretic proof of the general representation theorem for MV-algebras, which was developed by Dubuc and Poveda in 2010. The theorem states that every MV-algebra is isomorphic to the MV-algebra of all global sections of its prime spectrum. We avoid using topos theory and instead rely on basic concepts from MV-algebras, topology and set theory.","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"111 1","pages":"317 - 334"},"PeriodicalIF":0.0000,"publicationDate":"2022-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A set-theoretic proof of the representation of MV-algebras by sheaves\",\"authors\":\"Alejandro Estrada, Y. Poveda\",\"doi\":\"10.1080/11663081.2023.2190007\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"ABSTRACT In this paper, we provide a set-theoretic proof of the general representation theorem for MV-algebras, which was developed by Dubuc and Poveda in 2010. The theorem states that every MV-algebra is isomorphic to the MV-algebra of all global sections of its prime spectrum. We avoid using topos theory and instead rely on basic concepts from MV-algebras, topology and set theory.\",\"PeriodicalId\":38573,\"journal\":{\"name\":\"Journal of Applied Non-Classical Logics\",\"volume\":\"111 1\",\"pages\":\"317 - 334\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-10-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Applied Non-Classical Logics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1080/11663081.2023.2190007\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"Arts and Humanities\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Applied Non-Classical Logics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1080/11663081.2023.2190007","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Arts and Humanities","Score":null,"Total":0}

引用次数: 0

摘要

本文给出了Dubuc和Poveda在2010年提出的mv -代数的一般表示定理的一个集论证明。该定理说明每一个mv -代数都与它的素谱的所有全局部分的mv -代数同构。我们避免使用拓扑理论，而是依赖于mv -代数，拓扑和集合论的基本概念。

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

查看原文本刊更多论文

A set-theoretic proof of the representation of MV-algebras by sheaves

ABSTRACT In this paper, we provide a set-theoretic proof of the general representation theorem for MV-algebras, which was developed by Dubuc and Poveda in 2010. The theorem states that every MV-algebra is isomorphic to the MV-algebra of all global sections of its prime spectrum. We avoid using topos theory and instead rely on basic concepts from MV-algebras, topology and set theory.

求助全文

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

来源期刊

Journal of Applied Non-Classical Logics Arts and Humanities-Philosophy

CiteScore

1.30

自引率

0.00%

发文量