Acceptable Numerations of Function Spaces

Mathematical Logic Quarterly 31 (31-34):503-508 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19850313105

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

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

Acceptable Numerations of Function Spaces.Akira Kanda - 1985 - Mathematical Logic Quarterly 31 (31‐34):503-508.
On recursively enumerable structures.Victor Selivanov - 1996 - Annals of Pure and Applied Logic 78 (1-3):243-258.
On p-reducibility of numerations.A. N. Degtev - 1993 - Annals of Pure and Applied Logic 63 (1):57-60.
Acceptable Numerations of Morphisms and Myhill‐Shepherdson Property.Akira Kanda - 1995 - Mathematical Logic Quarterly 41 (1):39-48.
Relating Bishopʼs function spaces to neighbourhood spaces.Hajime Ishihara - 2013 - Annals of Pure and Applied Logic 164 (4):482-490.
Retracts of numerations.Akira Kanda - 1989 - Annals of Pure and Applied Logic 42 (3):225-242.
Computable and continuous partial homomorphisms on metric partial algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.
Cellular spaces.Wolfgang Merzenich - 1980 - Theoretical Medicine and Bioethics 1 (1):51-65.
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
Many-Hilbert-spaces approach to the wave-function collapse.Mikio Namiki & Saverio Pascazio - 1992 - Foundations of Physics 22 (3):451-466.
Strong boundary values : independence of the defining function and spaces of test functions.Jean-Pierre Rosay & Edgar Lee Stout - 2002 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 1 (1):13-31.
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Relatively precomplete numerations and arithmetic.Franco Montagna - 1982 - Journal of Philosophical Logic 11 (4):419 - 430.
Some new results on decidability for elementary algebra and geometry.Robert M. Solovay, R. D. Arthan & John Harrison - 2012 - Annals of Pure and Applied Logic 163 (12):1765-1802.
Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.

Analytics

Added to PP
2015-12-02

Downloads
25 (#637,258)

6 months
3 (#984,214)

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