Back to Search Start Over

A Simple Proof of McNaughton Theorem

Authors :
Dubuc, Eduardo J.
Poveda, Yuri
Publication Year :
2011

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.<br />Comment: 1 and 1/2 pages

Subjects

Subjects :
Mathematics - Logic

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.1107.4641
Document Type :
Working Paper

Tools

Authors Abstract Subjects Details