Elementary properties of free extensions |
| |
Authors: | William A Lampe Dale Myers |
| |
Institution: | (1) University of Hawaii, Honolulu, Hawaii, USA |
| |
Abstract: | For any partial groupoid
, let Fr
be the free extension of
to a total groupoid. We show that
implies
and that the theory of Fr
is uniformly recursive in the theory of
. These results fail if “groupoid” is replaced by “semigroup”, “commutative semigroup”, “group”, “abelian group”, “semilattice”,
“K-lattice” for any nontrivial varietyK of lattices, or “Boolean algebra”.
Research supported in part by NSF Grant MCS78-01867. We thank the referee for his valuable comments.
Presented by B. Jónsson. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|