Alfred Tarski, Steven Givant  Home/Search
Context Related
| ucla.edu/~asl/bsl/0502/0502002.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: aslonline.org/asl/BSL/contents (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabh auser 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. In his 1926--27 lectures at ... (Update)
Cited by: More
List of Axioms and Axiom Systems - Oldalsz Amokat Ellen (Correct)
Active bibliography (related documents): More All
0.5: Model Theory and Real Exponentiation - Marker (Correct)
0.5: Axiomatic systems for Minkowski space-time - Schutz (Correct)
0.5: Artificial Intelligence for Software Engineering : Proving.. - Exte Nd Ed (Correct)
Similar documents based on text: More All
0.8: On Tarski on Models - Bays (2001) (Correct)
0.4: Computational Real Algebraic Geometry - Mishra (1997) (Correct)
0.3: Tarski and Carnap on Logical Truth - or: What Is Genuine Logic? - Schurz (1998) (Correct)
Related documents from co-citation: More All
2: On faster than light observers (context) - Madar - 1998
2: Analyzing the logical structure of relativity theory via model theoretic logic (context) - Andr, Madar et al. - 1998
2: Grundlagen der Geometrie (context) - Hilbert - 1956
BibTeX entry: (Update)
A. Tarski and S. Givant. Tarski's system of geometry. Bulletin of Symbolic Logic, 5,2:175-214, 1999. http://citeseer.ist.psu.edu/tarski99tarskis.html More
@misc{ tarski99tarskis,
author = "A. Tarski and S. Givant",
title = "Tarski's system of geometry",
text = "A. Tarski and S. Givant. Tarski's system of geometry. Bulletin of Symbolic
Logic, 5,2:175-214, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/tarski99tarskis.html" }
Citations (may not include all citations):16 A model of set theory in which every set of reals is Lebesgu.. (context) - Solovay - 1970
14 Transactions of the American Mathematical Society (context) - Veblen, of et al. - 1904
10 DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE (context) - of, Monographs et al. - 1914
7 Bulletin de l'Academie Polonaise des Sciences (context) - notions, elementary - 1975
7 Bulletin de l'Academie Polonaise des Sciences (context) - systems, in et al. - 1977
6 Elementary properties of Abelian groups (context) - Szmielew - 1955
6 Stetigkeit und irrationale Zahlen (context) - Dedekind
5 Pa nstwowe Wydawnictwo Naukowe (context) - nski, ordinal - 1958
4 Metamathematische Methoden in der Geometrie (context) - auser, Szmielew et al. - 1983
4 Vorlesungen uber neuere Geometrie (context) - Pasch
3 Transactions of the American Mathematical Society (context) - Moore, projective et al. - 1902
3 Demonstratio Mathematica (context) - simplicity, axiom et al. - 1997
2 Institut Blaise Pascal (context) - of, algebra - 1967
2 Sur les ensembles definissables de nombres reels (context) - Tarski - 1931
1 Euklidische Geometrie (context) - Schnabel - 1978
1 Grundlagen der Geometrie (context) - Schur - 1909
1 with special reference to geometry and physics (context) - Scott, elementary et al. - 1959
1 Fragen der Elementargeometrie (context) - Enriques - 1911
1 Euclidean two dimensional equidistance theory (context) - Grochowska - 1984
1 Contributions to the axiomatic foundations of geometry (context) - Gupta - 1965
1 the syntactic form of dimension axiom for a#ne geometry (context) - Kordos - 1969
1 Bulletin de l'Academie Polonaise des Sciences (context) - geometry, with et al. - 1975
1 Wiadomo sci Matematyczne (context) - geometrii, opartej et al. - 1971
1 Bulletin de l'Academie Polonaise des Sciences (context) - property, relations et al. - 1976
1 Reflexions sur di#erentes manieres de demontrer la theorie d.. (context) - Legendre
1 with special reference to geometry and physics (context) - elementary, The - 1959
1 Sur l'independance des notions primitives dans les systemes .. (context) - Lindenbaum, Tarski - 1927
1 Die Beweise der ebenen Geometrie ohne Benutzung der Gleichhe.. (context) - Mollerup - 1903
1 Grundriss der reinen und angewandten Mathematik (context) - Lorenz
1 Alfred Tarski: Collected papers (context) - Collected, Givant et al. - 1986
1 La geometria elementare istituita sulle nozioni `punto' e `s.. (context) - Pieri - 1908
1 The theory of bi-proportionality as a geometry (context) - Makowiecka - 1975
1 Bulletin de l'Academie Polonaise des Sciences (context) - Szczerba, Pasch's - 1970
1 Review of Schwabh auser-Szmielew-Tarski (context) - Moszy - 1986
1 Fundamenta Mathematicae (context) - of, ne - 1979
1 the Lebesgue measurability and the axiom of determinateness (context) - Mycielski, Swierczkowski - 1964
1 Euklidische Raume (context) - Richter, Schnabel - 1997
1 Simple axiom systems for Euclidean geometry (context) - Pambuccian - 1989
1 with special reference to geometry and physics (context) - problems, hyperbolic et al. - 1959
1 Binary relations as primitive notions in elementary geometry (context) - Robinson - 1959
1 Euclides ab omnis naevo vindicatus: sive conatus geometricus.. (context) - Saccheri
1 Koninklijkle Nederlandse Akademie van Wetenschappen (context) - theorem, notions et al. - 1956
Documents on the same site (http://www.aslonline.org/asl/BSL/contents.html): More
Alonzo Church's contributions to philosophy and Intensional Logic - Anderson (1998) (Correct)
Is A Core Model Below - John Steel In (Correct)
The Impact of the Lambda Calculus in Logic and Computer Science - Barendregt (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC