History and Philosophy of Logic 20 (3-4):291-294 (1999)

We review and contrast three ways to make up a formal Euclidean geometry which one might call constructive, in a computational sense. The starting point is the first-order geometry created by Tarski
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445349950044206
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,855
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
The Foundations of Intuitionistic Mathematics.Stephen Cole Kleene - 1965 - Amsterdam: North-Holland Pub. Co..
The Axioms of Constructive Geometry.Jan von Plato - 1995 - Annals of Pure and Applied Logic 76 (2):169-200.
Tarski and Geometry.L. W. Szczerba - 1986 - Journal of Symbolic Logic 51 (4):907-912.

View all 8 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles


Added to PP index

Total views
18 ( #538,204 of 2,342,679 )

Recent downloads (6 months)
1 ( #515,081 of 2,342,679 )

How can I increase my downloads?


My notes