Tarski's System of Geometry Export

@article{citeulike:130242, abstract = {This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhauser 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.}, author = {Tarski, Alfred and Givant, Steven}, citeulike-article-id = {130242}, citeulike-linkout-0 = {http://www.jstor.org/stable/421089}, journal = {The Bulletin of Symbolic Logic}, keywords = {foundations, geometry, history, history\_of\_logic, logic, mathematics, tarski}, number = {2}, pages = {175--214}, posted-at = {2005-03-16 18:09:28}, priority = {3}, title = {Tarski's System of Geometry}, url = {http://www.jstor.org/stable/421089}, volume = {5}, year = {1999} }

TY - JOUR ID - citeulike:130242 L3 - citeulike-article-id:130242 N2 - This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhauser 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. IS - 2 JF - The Bulletin of Symbolic Logic EP - 214 TI - Tarski's System of Geometry VL - 5 SP - 175 KW - foundations KW - geometry KW - history KW - history_of_logic KW - logic KW - mathematics KW - tarski AU - Tarski, Alfred AU - Givant, Steven PY - 1999/// UR - http://www.jstor.org/stable/421089 ER -