A relation algebra which is not a cylindric reduct |
| |
Authors: | Roger D. Maddux |
| |
Affiliation: | (1) Department of Mathematics, Iowa Stale University, 50011 Ames, Iowa |
| |
Abstract: | There is an incomplete atomic relation algebra which is not the reduct of any 4-dimensional cylindric algebra. This completes the answer to a problem in [Mo61].Presented by Bjarni Jónsson. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|