Royden H. L.. Remarks on primitive notions for elementary Euclidean and non-Euclidean plane 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. 86–96 [Book Review]

Journal of Symbolic Logic 35 (3):473-474 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270740

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

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

Scott Dana. Dimension in elementary Euclidean 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. 53–67. [REVIEW]Wolfram Schwabhäuser - 1969 - Journal of Symbolic Logic 34 (3):514-514.
Robinson Raphael M.. 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. [REVIEW]L. W. Szczerba - 1970 - Journal of Symbolic Logic 35 (1):148-148.
Szmielew Wanda. Some metamathematical problems concerning elementary hyperbolic 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. 30–52. [REVIEW]Thomas Frayne - 1962 - Journal of Symbolic Logic 27 (2):237-238.
Tarski Alfred. ¿ Qué es la geometria elemental? Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 3 no. 2 , pp. 41–51.Tarski Alfred. What is 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. 16–29. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):93-93.
Paul Bernays. Die Manningfaltigketi der Direktiven für die Gestaltung geometrischer Axiomensysteme. 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, Amsterdam1959, pp. 1–15. [REVIEW]G. T. Kneebone - 1969 - Journal of Symbolic Logic 34 (2):310-310.
Simon Herbert A.. Definable terms and primitives in axiom systems. 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. 443–453. [REVIEW]Richard Montague - 1960 - Journal of Symbolic Logic 25 (4):355-356.
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.Leon Henkin, Patrick Suppes & Alfred Tarski (eds.) - 1959 - Amsterdam, Netherlands: North-Holland.
Review: H. L. Royden, Remarks on Primitive Notions for Elementary Euclidean and Non-Euclidean Plane Geometry. [REVIEW]Leslaw W. Szczerba - 1970 - Journal of Symbolic Logic 35 (3):473-474.
Remarks on Primitive Notions for Elementary Euclidean and Non-Euclidean Plane Geometry.H. L. Royden - 1970 - Journal of Symbolic Logic 35 (3):473-474.
Porte Jean. Quelques pseudo-paradoxes de la “calculabilité effective.” 2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 332–334.Kalmár László. An argument against the plausibility of Church's thesis. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 72–80.Peter Rózsa. Rekursivität und Konstruktivität. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 226–233.Mendelson Elliott. On some recent criticism of Church's thesis. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 201–205. [REVIEW]Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
Beth E. W.. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 15–25. [REVIEW]Hans Freudenthal - 1974 - Journal of Symbolic Logic 39 (3):609-609.
Heyting A.. Some remarks on intuitionism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 69–71. [REVIEW]O. Chateaubriand - 1971 - Journal of Symbolic Logic 36 (4):673-674.
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI.Victor Pambuccian - 1995 - Mathematical Logic Quarterly 41 (3):384-394.
Fitch Frederic B.. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 26–36. [REVIEW]Bruce Lercher - 1972 - Journal of Symbolic Logic 37 (2):402-402.
Myhill John. Finitely representable functions. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 195–207. [REVIEW]Martin Davis - 1973 - Journal of Symbolic Logic 38 (1):157-158.

Analytics

Added to PP
2016-06-30

Downloads
29 (#507,265)

6 months
1 (#1,346,405)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references