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)

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Kant's Views on Non-Euclidean Geometry.Michael Cuffaro - 2012 - Proceedings of the Canadian Society for History and Philosophy of Mathematics 25:42-54.
Herbrand consistency of some arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
The Bifurcation Approach to Hyperbolic Geometry.Abraham A. Ungar - 2000 - Foundations of Physics 30 (8):1257-1282.
Another Constructive Axiomatization of Euclidean Planes.Victor Pambuccian - 2000 - Mathematical Logic Quarterly 46 (1):45-48.
The theory‐ladenness of observations, the role of scientific instruments, and the Kantiana priori.Ragnar Fjelland - 1991 - International Studies in the Philosophy of Science 5 (3):269 – 280.

Analytics

Added to PP
2015-08-22

Downloads
16 (#855,572)

6 months
5 (#544,079)

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