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

Categories

Keywords

Reprint years

DOI

10.2307/421089

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

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

Through your library

My notes

Similar books and articles

Full development of Tarski's geometry of solids.Rafaŀ Gruszczyński & Andrzej Pietruszczak - 2008 - Bulletin of Symbolic Logic 14 (4):481-540.
Review: Z. Piesyk, Remarks on Tarski's System of Axioms of Geometry. [REVIEW]L. W. Szczerba - 1969 - Journal of Symbolic Logic 34 (4):648-648.
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
Review: Alfred Tarski, A General Theorem Concerning Primitive Notions of Euclidean Geometry. [REVIEW]L. W. Szczerba - 1968 - Journal of Symbolic Logic 33 (2):289-289.
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.Victor Pambuccian - 2011 - Studia Logica 97 (3):347 - 349.
An Elementary System of Axioms for Euclidean Geometry Based on Symmetry Principles.Boris Čulina - 2018 - Axiomathes 28 (2):155-180.
Schwabhäuser Wolfram. On models of elementary elliptic geometry. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 312–328. [REVIEW]L. W. Szczerba - 1971 - Journal of Symbolic Logic 36 (4):682.
Z. Piesyk. Uwagi o aksjomatyce geometrii Tarskiego (Remarks on Tarski's system of axioms of geometry). Roczniki Polskiego Towarzystwa Matematycznego, Series I, vol. 9 (1965), pp. 23–33. [REVIEW]Z. Piesyk - 1970 - Journal of Symbolic Logic 34 (4):648-648.
Z. Piesyk. Uwagi o aksjomatyce geometrii Tarskiego (Remarks on Tarski's system of axioms of geometry). Roczniki Polskiego Towarzystwa Matematycznego, Series I, vol. 9 (1965), pp. 23–33. [REVIEW]L. W. Szczerba - 1970 - Journal of Symbolic Logic 34 (4):648-648.
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
302 (#70,243)

6 months
19 (#181,267)

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 43 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