A Simple Proof of McNaughton Theorem
classification
🧮 math.LO
keywords
theoremmcnaughtonproofsimplealmostchangcompletenessdefinitions
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.