# Quantifier-free axioms for constructive plane geometry

Compositio Mathematica (1968)

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

## Access Full Article

top## How to cite

topMoler, 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- D. HilbertThe Foundations of Geometry. LaSalle, Illinois: Open Court Publishing Co., 1947; reprint edition. MR116216JFM33.0082.10
- 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
- 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
- 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
- O. VeblenA system of axioms for geometry. Transactions of the American Mathematical Society, 1904, 5, pp. 343-384. MR1500678JFM35.0495.02

## NotesEmbed ?

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