Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4663042 | Journal of Applied Logic | 2013 | 5 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Jacek Konarzewski, Mariusz Żynel,