8 results
Tarski and geometry
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 907-912
- Print publication:
- December 1986
-
- Article
- Export citation
Wolfram Schwabhäuser. On models of elementary elliptic geometry. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 312–328.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
- Print publication:
- December 1971
-
- Article
- Export citation
Raphael M. Robinson. Binary relations as primitive notions in elementary geometry. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26,1957-January 4, 1958, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 68–85.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
- Print publication:
- March 1970
-
- Article
- Export citation
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 648
- Print publication:
- February 1970
-
- Article
- Export citation
Evert W. Beth and Alfred Tarski. Equilaterality as the only primitive notion of Euclidean geometry. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 462–467; also ibid., pp. 462–467.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 289
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Dana Scott. A symmetric primitive notion for Euclidean geometry. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 456–461; also Indagationes mathematicae, vol. 18 (1956), pp. 456–461.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Alfred Tarski. A general theorem concerning primitive notions of Euclidean geometry. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 468–474; also ibid., pp. 468–474.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 289
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Wolfgang Rautenberg. Unentscheidbarheit der euklidischen Inzidenzgeometrie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 12–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 58
- Print publication:
- March 1964
-
- Article
- Export citation