Back to Search Start Over

The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras.

Authors :
Dubuc, Eduardo
Poveda, Yuri
Source :
Studia Logica; Jun2013, Vol. 101 Issue 3, p483-485, 3p
Publication Year :
2013

Abstract

We show the intimate relationship between McNaughton Theorem and the Chinese Remaindner Theorem for MV-algebras. We develop a very short and simple proof of McNaughton Theorem. The arguing is elementary and right out of the definitions. We exhibit the theorem as just an instance of the Chinese theorem. Since the variety of MV-algebras is arithmetic, the Chinese theorem holds for MV-algebras. However, to make this paper self-contained and entirely elementary, we include a simple proof of this theorem inspired in Ferraioli and Lettieri (Math Logic Q 1:27-43, ). [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
00393215
Volume :
101
Issue :
3
Database :
Complementary Index
Journal :
Studia Logica
Publication Type :
Academic Journal
Accession number :
87910472
Full Text :
https://doi.org/10.1007/s11225-011-9368-5