Quantifier-free axioms for constructive plane geometry

Nancy Moler; Patrick Suppes

Compositio Mathematica (1968)

  • Volume: 20, page 143-152
  • ISSN: 0010-437X

How to cite

top

Moler, Nancy, and Suppes, Patrick. "Quantifier-free axioms for constructive plane geometry." Compositio Mathematica 20 (1968): 143-152. <http://eudml.org/doc/88974>.

@article{Moler1968,
author = {Moler, Nancy, Suppes, Patrick},
journal = {Compositio Mathematica},
keywords = {foundations of geometry},
language = {eng},
pages = {143-152},
publisher = {Wolters-Noordhoff Publishing},
title = {Quantifier-free axioms for constructive plane geometry},
url = {http://eudml.org/doc/88974},
volume = {20},
year = {1968},
}

TY - JOUR
AU - Moler, Nancy
AU - Suppes, Patrick
TI - Quantifier-free axioms for constructive plane geometry
JO - Compositio Mathematica
PY - 1968
PB - Wolters-Noordhoff Publishing
VL - 20
SP - 143
EP - 152
LA - eng
KW - foundations of geometry
UR - http://eudml.org/doc/88974
ER -

References

top
  1. D. HilbertThe Foundations of Geometry. LaSalle, Illinois: Open Court Publishing Co., 1947; reprint edition. MR116216JFM33.0082.10
  2. H.L. RoydenRemarks on primitive notions for elementary Euclidean and non-Euclidean plane gemetry. In L. Henkin, P. Suppes and A. Tarski (Eds.), The Axiomatic Method, With Special Reference to Geometry and Physics. Amsterdam: North-Holland Publishing Co., 1959, pp. 86-96. Zbl0089.16505MR107196
  3. L.W. Szczerba & A. TarskiMetamathematical properties of some affine geometries. Proceedings of the 1964 International Congress for Logic, Methodology and Philosophy of Science. Amsterdam: North-Holland Publishing Co., 1964, pp. 166-178. Zbl0149.38502MR209948
  4. A. TarskiWhat is elementary geometry? In L. Henkin, P. Suppes and A. Tarski (Eds.), The Axiomatic Method, With Special Reference to Geometry and Physics. Amsterdam: North-Holland Publishing Co., 1959, pp. 16 — 29. Zbl0092.38504
  5. O. VeblenA system of axioms for geometry. Transactions of the American Mathematical Society, 1904, 5, pp. 343-384. MR1500678JFM35.0495.02

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.