Herbrand's theorem and non-euclidean geometry

Bulletin of Symbolic Logic 21 (2):111-122 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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

Herbrand’s theorem and non-euclidean geometry.Michael Beeson, Pierre Boutry & Julien Narboux - 2015 - Bulletin of Symbolic Logic 21 (2):111-122.
A General Theorem Concerning Primitive Notions of Euclidean Geometry.Alfred Tarski - 1968 - Journal of Symbolic Logic 33 (2):289-289.
Review: Alfred Tarski, A General Theorem Concerning Primitive Notions of Euclidean Geometry. [REVIEW]L. W. Szczerba - 1968 - Journal of Symbolic Logic 33 (2):289-289.
Analog of Herbrand's Theorem for [non] Prenex Formulas of Constructive Predicate Calculus.G. E. Mints & A. O. Slisenko - 1971 - Journal of Symbolic Logic 36 (3):525-526.
Analog of Herbrand's Theorem for [non] Prenex Formulas of Constructive Predicate Calculus.J. van Heijenoort, G. E. Mints & A. O. Slisenko - 1971 - Journal of Symbolic Logic 36 (3):525.
Remarks on Primitive Notions for Elementary Euclidean and Non-Euclidean Plane Geometry.H. L. Royden - 1970 - Journal of Symbolic Logic 35 (3):473-474.
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.
A Proof of Herbrand's Theorem.A. Mostowski & H. Rasiowa - 1971 - Journal of Symbolic Logic 36 (1):168-169.
Review: R. Sikorski, On Herbrand's Theorem. [REVIEW]Donald Monk - 1970 - Journal of Symbolic Logic 35 (4):587-587.
Kant's Views on Non-Euclidean Geometry.Michael Cuffaro - 2012 - Proceedings of the Canadian Society for History and Philosophy of Mathematics 25:42-54.

Analytics

Added to PP
2015-08-22

Downloads
16 (#905,208)

6 months
4 (#1,005,098)

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