Recursive properties of Euclidean domains

Annals of Pure and Applied Logic 29 (1):59-77 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(85)90035-1

Links

PhilArchive



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

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

Euclidean Functions of Computable Euclidean Domains.Rodney G. Downey & Asher M. Kach - 2011 - Notre Dame Journal of Formal Logic 52 (2):163-172.
Supervenience for multiple domains.Jaegwon Kim - 1988 - Philosophical Topics 16 (1):129-50.
Poincaré's thesis of the translatability of euclidean and non-euclidean geometries.David Stump - 1991 - Noûs 25 (5):639-657.
Recursive versus recursively enumerable binary relations.Dev K. Roy - 1993 - Studia Logica 52 (4):587 - 593.
Decision Problems in Euclidean Geometry.Harvey M. Friedman - unknown
Classical and constructive hierarchies in extended intuitionistic analysis.Joan Rand Moschovakis - 2003 - Journal of Symbolic Logic 68 (3):1015-1043.
Recursive elements and constructive extensions of computable local integral domains.Glen H. Suter - 1973 - Journal of Symbolic Logic 38 (2):272-290.
Recursive functionals.Luis E. Sanchis - 1992 - New York: North-Holland.
Handbook of recursive mathematics.IUrii Leonidovich Ershov (ed.) - 1998 - New York: Elsevier.
Beyond Core Knowledge: Natural Geometry.Elizabeth Spelke, Sang Ah Lee & Véronique Izard - 2010 - Cognitive Science 34 (5):863-884.
Turing L -machines and recursive computability for L -maps.Giangiacomo Gerla - 1989 - Studia Logica 48 (2):179 - 192.
Recursive analysis.R. L. Goodstein - 1961 - Mineola, N.Y.: Dover Publications.
Effective coloration.Dwight R. Bean - 1976 - Journal of Symbolic Logic 41 (2):469-480.
Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.

Analytics

Added to PP
2013-10-30

Downloads
7 (#1,387,044)

6 months
1 (#1,471,470)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Euclidean Functions of Computable Euclidean Domains.Rodney G. Downey & Asher M. Kach - 2011 - Notre Dame Journal of Formal Logic 52 (2):163-172.

Add more citations

References found in this work

Effective content of field theory.G. Metakides - 1979 - Annals of Mathematical Logic 17 (3):289.

Add more references