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