Tarski's system of geometry

Bulletin of Symbolic Logic 5 (2):175-214 (1999)
  Copy   BIBTEX

Abstract

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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,546

External links

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

Through your library

Similar books and articles

Alfred Tarski: Early Work in Poland – Geometry and Teaching.I. Loeb - 2015 - History and Philosophy of Logic 36 (4):397-399.

Analytics

Added to PP
2009-01-28

Downloads
318 (#89,798)

6 months
15 (#193,731)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Against Parthood.Theodore Sider - 2013 - Oxford Studies in Metaphysics 8:237–293.
A formal system for euclid’s elements.Jeremy Avigad, Edward Dean & John Mumma - 2009 - Review of Symbolic Logic 2 (4):700--768.
Reading the Book of the World.Thomas Donaldson - 2015 - Philosophical Studies 172 (4):1051-1077.

View all 41 citations / Add more citations

References found in this work

The completeness of elementary algebra and geometry.Alfred Tarski - 1967 - Paris,: Centre national de la recherche scientifique, Institut Blaise Pascal.

Add more references