Bulletin of Symbolic Logic

Tarski's System of Geometry

Alfred Tarski and Steven Givant

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

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.

Article information

Source
Bull. Symbolic Logic, Volume 5, Number 2 (1999), 175-214.

Dates
First available in Project Euclid: 20 June 2007

Permanent link to this document
https://projecteuclid.org/euclid.bsl/1182353619

Mathematical Reviews number (MathSciNet)
MR1791303

Zentralblatt MATH identifier
0932.01031

JSTOR
links.jstor.org

Citation

Tarski, Alfred; Givant, Steven. Tarski's System of Geometry. Bull. Symbolic Logic 5 (1999), no. 2, 175--214. https://projecteuclid.org/euclid.bsl/1182353619


Export citation