scientific article
From MaRDI portal
Publication:3678266
zbMath0564.51001MaRDI QIDQ3678266
Wolfram Schwabhäuser, Wanda Szmielew, Alfred Tarski
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Ordered geometries (ordered incidence structures, etc.) (51G05) Euclidean geometries (general) and generalizations (51M05) Models of other mathematical theories (03C65) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01) Algebraization in linear incidence geometry (51A25) Research exposition (monographs, survey articles) pertaining to geometry (51-02)
Related Items (64)
Are Points (Necessarily) Unextended? ⋮ A synthetic proof of Pappus' theorem in Tarski's geometry ⋮ Finding proofs in Tarskian geometry ⋮ A system of axioms for Minkowski spacetime ⋮ The Steiner-Lehmus theorem and ``triangles with congruent medians are isosceles hold in weak geometries ⋮ Tarski's System of Geometry ⋮ On the stepwise construction of the parallel postulate ⋮ Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence. ⋮ From informal to formal proofs in Euclidean geometry ⋮ Implementing Euclid's straightedge and compass constructions in type theory ⋮ Proof-checking Euclid ⋮ Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries ⋮ On the equivalence of Lagrange's axiom to the Lotschnittaxiom ⋮ Absolute geometry proofs of two geometric inequalities of Chisini ⋮ Logic for physical space. From antiquity to present day ⋮ On a splitting of the parallel postulate ⋮ Euclid after Computer Proof-Checking ⋮ CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE ⋮ Brouwer and Euclid ⋮ Equilateral triangles have minimal area and perimeter among all triangles containing a given circle in Hilbert planes ⋮ Why did Euclid not need the Pasch axiom? ⋮ Weakly ordered plane geometry ⋮ Automated generation of illustrated proofs in geometry and beyond ⋮ First-order logic axiomatization of metric graph theory ⋮ A modal logic framework for reasoning about comparative distances and topology ⋮ Negation-free and contradiction-free proof of the Steiner-Lehmus theorem ⋮ From geometry to conceptual relativity ⋮ Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry ⋮ The Axiomatic Destiny of the Theorems of Pappus and Desargues ⋮ Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq ⋮ On the constructive geometry of Euclidean planes ⋮ Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry ⋮ A constructive version of Tarski's geometry ⋮ Another equivalent of the Lotschnittaxiom ⋮ The principle of duality in Euclidean and in absolute geometry ⋮ Euler's inequality in absolute geometry ⋮ Constructivity in Geometry ⋮ Axiomatizing geometric constructions ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces ⋮ Ordered groups and ordered geometries ⋮ MORITA EQUIVALENCE ⋮ A logical look at characterizations of geometric transformations under mild hypotheses ⋮ Another splitting of the Pasch axiom ⋮ Mappings preserving the area equality of hyperbolic triangles are motions ⋮ Binary relations as single primitive notions for hyperbolic three-space and the inversive plane. ⋮ Trajectory databases: data models, uncertainty and complete query languages ⋮ The elementary Archimedean axiom in absolute geometry ⋮ Formalization of the Poincaré disc model of hyperbolic geometry ⋮ HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY ⋮ Mechanical Theorem Proving in Tarski’s Geometry ⋮ Existence of special rainbow triangles in weak geometries ⋮ The ubiquitous axiom ⋮ Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry ⋮ A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs ⋮ On the existence of a equilateral triangle in \(H\)-planes ⋮ Forms of the Pasch axiom in ordered geometry ⋮ Hyperbolic geometry for non-differential topologists ⋮ A Vernacular for Coherent Logic ⋮ A common axiom set for classical and intuitionistic plane geometry ⋮ Full Development of Tarski's Geometry of Solids ⋮ Complete geometric query languages ⋮ Two statements characterizing the Euclidean metric of a metric plane ⋮ Formalizing complex plane geometry ⋮ Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
This page was built for publication:
