What Do the Consistency Proofs for Non-Euclidean Geometries Prove?

Analysis 40 (2):79 - 83 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/analys/40.2.79

Links

PhilArchive



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

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

The Independence of the Parallel Postulate and Development of Rigorous Consistency Proofs.David J. Stump - 2007 - History and Philosophy of Logic 28 (1):19-30.
Poincaré's thesis of the translatability of euclidean and non-euclidean geometries.David Stump - 1991 - Noûs 25 (5):639-657.
Beltrami's model and the independence of the parallel postulate.J. Scanlan Michael - 1988 - History and Philosophy of Logic 9 (1):13-34.
On the logical consistency of special relativity theory and non-euclidean geometries: Platonism versus formalism.Radhakrishnan Srinivasan - unknown
A Natural First-Order System of Arithmetic Which Proves Its Own Consistency.Andrew Boucher - manuscript
Kant and non-euclidean geometry.Amit Hagar - 2008 - Kant Studien 99 (1):80-98.
"True" arithmetic can prove its own consistency.Andrew Boucher -
Non-Turing Computers are the New Non-Euclidean Geometries.Mark Hogarth - forthcoming - International Journal of Unconventional Computing:1--15.
Did lobachevsky have a model of his "imaginary geometry"?Andrei Rodin - unknown
Kant’s synthetic a priori in geometry and the rise of non-euclidean geometries.J. E. Wiredu - 1970 - Kant Studien 61 (1-4):5-27.
Independence results.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):563-573.
Euclidean Functions of Computable Euclidean Domains.Rodney G. Downey & Asher M. Kach - 2011 - Notre Dame Journal of Formal Logic 52 (2):163-172.
The consistency strength of an infinitary Ramsey property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
Lower Bounds for cutting planes proofs with small coefficients.Maria Bonet, Toniann Pitassi & Ran Raz - 1997 - Journal of Symbolic Logic 62 (3):708-728.

Analytics

Added to PP
2011-05-29

Downloads
49 (#318,154)

6 months
6 (#512,819)

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