A constructive version of Tarski's geometry (Q490871): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2015.07.006
@@ Property / DOI: 10.1016/j.apal.2015.07.006 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W1479730010
@@ Property / OpenAlex ID: W1479730010 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4399
@@ Property / arXiv ID: 1407.4399 / rank @@
+Normal rank
@@ Property / cites work @@
+A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>
@@ Property / cites work: A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3567843
@@ Property / cites work: Q3567843 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof and Computation in Geometry
@@ Property / cites work: Proof and Computation in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE
@@ Property / cites work: CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE / rank @@
+Normal rank
@@ Property / cites work @@
+Q3270252
@@ Property / cites work: Q3270252 / rank @@
+Normal rank
@@ Property / cites work @@
+From Tarski to Hilbert
@@ Property / cites work: From Tarski to Hilbert / rank @@
+Normal rank
@@ Property / cites work @@
+Q3234138
@@ Property / cites work: Q3234138 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5423215
@@ Property / cites work: Q5423215 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485800
@@ Property / cites work: Q4485800 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of geometry (Festschrift 1899). Edited and commented by Klaus Volkert
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813181
@@ Property / cites work: Q5813181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3370969
@@ Property / cites work: Q3370969 / rank @@
+Normal rank
@@ Property / cites work @@
+A further simplification of Tarski's axioms of geometry
+Normal rank
@@ Property / cites work @@
+Forms of the Pasch axiom in ordered geometry
@@ Property / cites work: Forms of the Pasch axiom in ordered geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4094049
@@ Property / cites work: Q4094049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074001
@@ Property / cites work: Q4074001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3678266
@@ Property / cites work: Q3678266 / rank @@
+Normal rank
@@ Property / cites work @@
+Über die Kreisaxiome
@@ Property / cites work: Über die Kreisaxiome / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268765
@@ Property / cites work: Q3268765 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski's System of Geometry
@@ Property / cites work: Tarski's System of Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2015.07.006
@@ Property / DOI: 10.1016/J.APAL.2015.07.006 / rank @@
+Normal rank