An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube?

&
Mathematical Logic Quarterly 40 (1):31-34 (1994)
  Copy   BIBTEX

Abstract

The main result of this paper were announced in Kosheleva — Kreinovich [7, 8]; for other algorithmic aspects of Hilbert's Third Problem see Kosheleva [6]. The authors are greatly thankful to Alexandr D. Alexandrov , Vladimir G. Boltianskii and Patrick Suppes for valuable discussions, and to the anonymous referee for important suggestions. This work was partially supported by an NSF grant No. CDA-9015006

Categories

Keywords

Reprint years

DOI

10.1002/malq.19940400105

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Quantifier elimination for elementary geometry and elementary affine geometry.Rafael Grimson, Bart Kuijpers & Walied Othman - 2012 - Mathematical Logic Quarterly 58 (6):399-416.
Ternary operations as primitive notions for constructive plane geometry III.Victor Pambuccian - 1993 - Mathematical Logic Quarterly 39 (1):393-402.
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (1):129-136.
Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃”.Victor Pambuccian - 2008 - Mathematical Logic Quarterly 54 (6):668-668.
Bridging the gap between analytic and synthetic geometry: Hilbert’s axiomatic approach.Eduardo N. Giovannini - 2016 - Synthese 193 (1):31-70.
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV.Victor Pambuccian - 1994 - Mathematical Logic Quarterly 40 (1):76-86.
The application of mereology to grounding of elementary geometry.Edmund Glibowski - 1969 - Studia Logica 24 (1):109-129.
Ternary Operations as Primitive Notions for Constructive Plane Geometry V.Victor Pambuccian - 1994 - Mathematical Logic Quarterly 40 (4):455-477.
The complexity of plane hyperbolic incidence geometry is∀∃∀∃.Victor Pambuccian - 2005 - Mathematical Logic Quarterly 51 (3):277-281.

Analytics

Added to PP
2013-12-01

Downloads
33 (#685,336)

6 months
5 (#1,039,842)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references