This thesis contains a collection of properties of the greatest integer part function which were obtained by an extensive literature search. A few original properties are stated and proved and some of the properties which were found unproved in the literature are proved.
This paper presents an extension of Hubert's incidence axioms to n dimensions and uses these and his order axioms to prove several theorems. We prove extensions of Pasch's Axiom, the Crossbar Theorem, and Desargues' Theorem for n dimensions. A non-Euclidean model is presented and proved to satisfy the axioms. In...