Euclidean Functions of Computable Euclidean Domains

&
Notre Dame Journal of Formal Logic 52 (2):163-172 (2011)
  Copy   BIBTEX

Abstract

We study the complexity of (finitely-valued and transfinitely-valued) Euclidean functions for computable Euclidean domains. We examine both the complexity of the minimal Euclidean function and any Euclidean function. Additionally, we draw some conclusions about the proof-theoretical strength of minimal Euclidean functions in terms of reverse mathematics

Categories

Keywords

Reprint years

DOI

10.1215/00294527-1306172

Links

PhilArchive



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

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

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.
Decision Problems in Euclidean Geometry.Harvey M. Friedman - unknown
Did lobachevsky have a model of his "imaginary geometry"?Andrei Rodin - unknown
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.
Lp-Circular Functions.Bruce MacLennan - unknown
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.
Kant and non-euclidean geometry.Amit Hagar - 2008 - Kant Studien 99 (1):80-98.
Striving for truth in the practice of mathematics: Kant and Frege.Danielle Macbeth - 2007 - Grazer Philosophische Studien 75 (1):65-92.
Wittgenstein and the regular heptagon.Felix Mühlhölzer - 2001 - Grazer Philosophische Studien 62 (1):215-247.
Beyond Core Knowledge: Natural Geometry.Elizabeth Spelke, Sang Ah Lee & Véronique Izard - 2010 - Cognitive Science 34 (5):863-884.
Human diagrammatic reasoning and seeing-as.Annalisa Coliva - 2012 - Synthese 186 (1):121-148.
Helmholtz's naturalized conception of geometry and his spatial theory of signs.David Jalal Hyder - 1999 - Philosophy of Science 66 (3):286.
Finitude simple et structures o-minimales (finiteness property implies o-minimality).Jean-Marie Lion - 2002 - Journal of Symbolic Logic 67 (4):1616-1622.

Analytics

Added to PP
2011-04-29

Downloads
45 (#335,929)

6 months
9 (#242,802)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Recursive properties of Euclidean domains.Leonard Schrieber - 1985 - Annals of Pure and Applied Logic 29 (1):59-77.

Add more references