Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
2 answers
383 views

Does the Affine Pappus Axiom imply the Affine Desargues Axiom in affine planes?

I am interested in the affine version of the well-known Hessenberg's Theorem (saying that Pappian projective planes are Desarguesian). First I introduce all necessary definitions. Definition L. A ...
Taras Banakh's user avatar
11 votes
1 answer
390 views

Does every finite affine plane have the doubling property?

Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms: Any distinct points $x,y\...
Taras Banakh's user avatar
3 votes
1 answer
212 views

Another implication of the Affine Desargues Axiom

Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms: Any distinct points $x,y\...
Taras Banakh's user avatar
2 votes
0 answers
281 views

Axiomatization of the incidence geometry of the Euclidean plane

There are several well-known axiomatizations of Euclidean plane geometry, the language of which is usually considered to include at least the relations of incidence (point-line, point-segment, or ...
user avatar
7 votes
4 answers
1k views

Is the theory of incidence geometry complete?

Consider the basic axioms of planar incidence geometry, which allow us to speak of in-betweeness, collinearity and concurrency. These axioms per se are not complete, since for example, Desargues ...
user avatar