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

@@ Property / author @@
-Michael J. Beeson
@@ Property / author: Michael J. Beeson / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F65
@@ Property / Mathematics Subject Classification ID: 03F65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M15
@@ Property / Mathematics Subject Classification ID: 51M15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M05
@@ Property / Mathematics Subject Classification ID: 51M05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B30
@@ Property / Mathematics Subject Classification ID: 03B30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6474700
@@ Property / zbMATH DE Number: 6474700 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+geometry
@@ Property / zbMATH Keywords: geometry / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Euclid
@@ Property / zbMATH Keywords: Euclid / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constructive mathematics
@@ Property / zbMATH Keywords: constructive mathematics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Tarski
@@ Property / zbMATH Keywords: Tarski / 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 @@
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:490871