Axiomatizing origami planes

DOI10.1007/978-3-031-47921-2_12MaRDI QIDQ6612818

Johann A. Makowsky, Lev D. Beklemishev, Anna Dmitrieva

Publication date: 1 October 2024

zbMATH Keywords

geometryorigamiundecidabilityinterpretationaxiom

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A constructive version of Tarski's geometry
• Algorithmic uses of the Feferman-Vaught theorem
• Grundlagen der affinen und euklidischen Geometrie
• A mathematical theory of origami constructions and numbers
• A history of folding in mathematics. Mathematizing the margins
• The undecidability of orthogonal and origami geometries
• Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries
• Algebraic Analysis of Huzita’s Origami Operations and Their Extensions
• Euklidische Körper und euklidische Hüllen von Körpern.
• Projective Planes
• The first book of geometry.

This page was built for publication: Axiomatizing origami planes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612818)