Decidability of the Equational Theory of the Continuous Geometry CG(Bbb {F}) |
| |
| Authors: | John Harding |
| |
| Affiliation: | 1. Department of Mathematical Sciences, New Mexico State University, Las Cruces, 88003-8001, New Mexico
|
| |
| Abstract: | For $Bbb {F}$ the field of real or complex numbers, let $CG(Bbb {F})$ be the continuous geometry constructed by von Neumann as a limit of finite dimensional projective geometries over $Bbb {F}$ . Our purpose here is to show the equational theory of $CG(Bbb {F})$ is decidable. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
