Forms of the Pasch axiom in ordered geometry (Q3406446): Difference between revisions

@@ Property / cites work @@
+Q3273607
@@ Property / cites work: Q3273607 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of Pasch's axiom in the absolute theory of oriented parallelity
+Normal rank
@@ Property / cites work @@
+Q3343213
@@ Property / cites work: Q3343213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3370969
@@ Property / cites work: Q3370969 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Elimination in the Presence of Axioms
@@ Property / cites work: Cut Elimination in the Presence of Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting the Pasch axiom
@@ Property / cites work: Splitting the Pasch axiom / rank @@
+Normal rank
@@ Property / cites work @@
+The Concept of Join System and Its Basic Properties
+Normal rank
@@ Property / cites work @@
+Q3678266
@@ Property / cites work: Q3678266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5600659
@@ Property / cites work: Q5600659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5656002
@@ Property / cites work: Q5656002 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5602597
@@ Property / cites work: Q5602597 / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning the order and the semi-order of n-dimensional Euclidean space
+Normal rank
@@ Property / cites work @@
+Q3663940
@@ Property / cites work: Q3663940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4757903
@@ Property / cites work: Q4757903 / rank @@
+Normal rank