All Questions
Tagged with foundations mg.metric-geometry
8 questions
7
votes
1
answer
269
views
How did Szmielew prove that Pasch's axiom is a consequence of the circle axiom?
It is alleged that Szmielew proved that Pasch's axiom is a consequence of the circle axiom. The source is said to be
The Pasch axiom as a consequence of the circle axiom, Bull.Acad.Polon.Sci.Sér.Sci....
6
votes
0
answers
153
views
Does every Tarski plane embed into a 3-dimensional Tarski space?
By a Tarski space I understand a mathematical structure $(X,B,\equiv)$ consisting of set $X$, a betweenness relation $B\subseteq X^3$ and a congruence relation ${\equiv}\subseteq X^2\times X^2$ ...
- 41.8k
2
votes
0
answers
65
views
Is the centroid property equivalent to the middle line property of the triangle?
By a Tarski plane I understand a set $X$ endowed with a betweenness relation $\mathsf B\subseteq X^3$ and a congruence relation ${\equiv}\subseteq X^2\times X^2$ satisfying all Tarski axioms except ...
- 41.8k
3
votes
1
answer
72
views
Comparing the areas of polygons via equidecomposability in the hyperbolic plane
It is well-known that in the Euclidean plane two simple polygons have the same area if and only if they are equidecomposable, i.e., can be decomposed into congruent triangles.
Question. Is an ...
- 41.8k
9
votes
1
answer
369
views
A name for a mathematical structure of geometric type
I am looking for (maybe existing) name for a mathematical structure $(X,\leqslant)$ consisting of a set $X$ and a transitive relation ${\leqslant}\subseteq X^2\times X^2$ such that $xx\leqslant yz\...
- 41.8k
6
votes
0
answers
111
views
Does the Segment-Circle Axiom imply the Circle-Circle Axiom in a non-Euclidean Tarski plane?
By a Tarski plane I understand a mathematical structure $(X,B,\equiv)$ consisting of set $X$, a betweenness relation $B\subseteq X^3$ and a congruence relation ${\equiv}\subseteq X^2\times X^2$ ...
- 41.8k
6
votes
1
answer
282
views
The algebraic structure of a line in a (Tarski) plane
By a Tarski plane (resp. plane) I understand a mathematical structure $(X,B,\equiv)$ consisting of a set $X$, a ternary betweenness relation $B\subseteq X^3$ and the 4-ary congruence relation ${\equiv}...
- 41.8k
0
votes
1
answer
476
views
coordinate free foundations of trigonometry [closed]
What axioms for geometry and trigonometry would I have to chose in order to completely avoid coordinates in defining trig functions and showing the equivalence of their geometric (unit circle) and ...
- 147