All Questions
Tagged with incidence-geometry lo.logic
5 questions
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 ...
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\...
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\...
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 ...
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 ...