Tarski's System of Geometry

Tarski, Alfred; Givant, Steven

Bull. Symbolic Logic, Tome 5 (1999) no. 1, p. 175-214 / Harvested from Project Euclid

Résumé

This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry.

Publié le : 1999-06-14
Classification:

@article{1182353619,
     author = {Tarski, Alfred and Givant, Steven},
     title = {Tarski's System of Geometry},
     journal = {Bull. Symbolic Logic},
     volume = {5},
     number = {1},
     year = {1999},
     pages = { 175-214},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1182353619}
}

Tarski, Alfred; Givant, Steven. Tarski's System of Geometry. Bull. Symbolic Logic, Tome 5 (1999) no. 1, pp.  175-214. http://gdmltest.u-ga.fr/item/1182353619/