arXiv++ Combinatorics

We present a manifestly geometrically self-dual version of the Fano harmonicity axiom for the projective plane.

For an axiomatization of three-dimensional projective space based on points and planes, we discuss appropriate versions of the harmonicity axiom and the projectivity axiom, showing that each axiom is equivalent to its spatial dual.

Within an axiomatic framework for three-dimensional projective space based on lines alone, we explore the Fano axiom of harmonicity according to which the diagonal lines of a complete quadrilateral are not concurrent.

We take points and planes as fundamental, lines as derived, in an axiomatic formulation of three-dimensional projective space, the self-dual nature of which formulation renders automatic the principle of duality.

We offer streamlined proofs of fundamental theorems regarding the index theory for partial self-maps of an infinite set that are bijective between cofinite subsets.

We investigate two ways in which self-maps of an infinite set may be close to bijections; our investigation generates a $\mathbb{Z}$-valued index theory and a corresponding extension by $\mathbb{Z}$ for the quotient of the full symmetric group by its finitary subgroup.

We investigate an `assumption of projectivity' that is appropriate to the self-dual axiomatic formulation of three-dimensional projective space.

We offer an axiomatic presentation of three-dimensional projective space that adopts the line as its fundamental element and renders automatic the principle of duality.