Brouwer and Euclid (Q1688971): Difference between revisions

@@ Property / DOI @@
-.1016/j.indag.2017.06.002
@@ Property / DOI: 10.1016/j.indag.2017.06.002 / rank @@
-Normal rank
@@ Property / author @@
+Michael J. Beeson
@@ Property / author: Michael J. Beeson / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963020477
@@ Property / OpenAlex ID: W2963020477 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08984
@@ Property / arXiv ID: 1705.08984 / 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 @@
+Q3567843
@@ Property / cites work: Q3567843 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive version of Tarski's geometry
@@ Property / cites work: A constructive version of Tarski's 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 @@
+Finding proofs in Tarskian geometry
@@ Property / cites work: Finding proofs in Tarskian geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q5795721
@@ Property / cites work: Q5795721 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802132
@@ Property / cites work: Q5802132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5423215
@@ Property / cites work: Q5423215 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068683
@@ Property / cites work: Q4068683 / rank @@
+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 @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+A common axiom set for classical and intuitionistic plane geometry
+Normal rank
@@ Property / cites work @@
+Constructive Coordinatization of Desarguesian Planes
+Normal rank
@@ Property / cites work @@
+The common point problem in constructive projective geometry
+Normal rank
@@ Property / cites work @@
+A constructive real projective plane
@@ Property / cites work: A constructive real projective plane / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive projective extension of an incidence plane
+Normal rank
@@ Property / cites work @@
+Q3678266
@@ Property / cites work: Q3678266 / 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 / cites work @@
+Q5342316
@@ Property / cites work: Q5342316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694208
@@ Property / cites work: Q4694208 / rank @@
+Normal rank
@@ Property / cites work @@
+`Outside' as a primitive notion in constructive projective geometry
+Normal rank
@@ Property / cites work @@
+The axioms of constructive geometry
@@ Property / cites work: The axioms of constructive geometry / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.INDAG.2017.06.002
@@ Property / DOI: 10.1016/J.INDAG.2017.06.002 / rank @@
+Normal rank