A Simple Proof of McNaughton Theorem.

Authors: Eduardo J. Dubuc, Yuri Poveda
Subjects: Logic
link: http://arxiv.org/abs/1107.4641
Abstract

In this note we exhibit a very simple proof of McNaughton Theorem, almost
right out of the definitions, and at the same time we observe that this theorem
does not depend of Chang's completeness theorem.