A constructive version of Birkhoff's the
✍
Jesper Carlström
📂
Article
📅
2008
🏛
John Wiley and Sons
🌐
English
⚖ 137 KB
👁 1 views
## Abstract A version of Birkhoff's theorem is proved by constructive, predicative, methods. The version we prove has two conditions more than the classical one. First, the class considered is assumed to contain a generic family, which is defined to be a set‐indexed family of algebras such that if