The intimate relationship between the McNaughton and the Chinese Theorems

DUBUC, EDUARDO J.

Ottawa

Conferencia; Logic Seminar; 2011

University of Ottawa

(Joint work with Yuri Poveda). We will show the intimate relationship between McNaughton Theorem and the Chinese 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 stress how elementary is our proof of McNaughton, we will also show a simple proof of the Chinese Theorem for MV-algebras. We will not assume any prior knowledge of MV-algebras by the audience.