排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
We investigate certain aspects of the first-order theory oforthogonality structures - structures consisting of a domainof lines subject to a binary orthogonality relation. In particular,we establish definitions of various geometric and algebraicnotions in terms of orthogonality, describe the constructionof extremal subspaces using orthogonality, and show that thefirst-order theory of line orthogonality in the Euclidean n-spaceis not 0-categorical for n 3. 相似文献
1