A note on orthogonality of subspaces in Euclidean geometry

We show that Euclidean geometry in suitably high dimension can be expressed as a theory of orthogonality of subspaces with fixed dimensions and fixed dimension of their meet.

Saved in:
Bibliographic Details
Published inJournal of applied logic Vol. 11; no. 2; pp. 169 - 173
Main Authors Konarzewski, Jacek, Żynel, Mariusz
Format Journal Article
LanguageEnglish
Published Elsevier B.V 01.06.2013
Subjects
Adjacency
Euclidean geometry
Logic
Orthogonality
Subspaces
Orthogonality
Euclidean geometry
Adjacency
Online AccessGet full text

Cover

More Information
Summary:We show that Euclidean geometry in suitably high dimension can be expressed as a theory of orthogonality of subspaces with fixed dimensions and fixed dimension of their meet.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ObjectType-Article-1
ObjectType-Feature-2
ISSN:1570-8683
1570-8691
DOI:10.1016/j.jal.2013.01.001