Journal of Symbolic Logic 50 (2):359 - 371 (1985)
In this paper it will be shown that HEO and HRO E are isomorphic with respect to extensional equality. This answers a question of Troelstra [T, 2.4.12, p. 128]. The main problem is to extend effective operations to a larger domain. This will be achieved by a modification of the proof of the continuity of effective operations. Following a suggestion of A.S. Troelstra, similar results were obtained for ECF(U) and ICF E (U), where U is any universe of functions closed under "recursive in"
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic.Kosta Došen & Zoran Petrić - 1999 - Journal of Symbolic Logic 64 (1):227-242.
Deduction-Preserving ‘Recursive Isomorphisms’ Between Theories.Marian Boykan Pour-EL & Saul A. Kripke - 1967 - Fundamenta Mathematicae 61:141-163.
Isomorphisms and Nonisomorphisms of Graph Models.Harold Schellinx - 1991 - Journal of Symbolic Logic 56 (1):227-249.
Weak Presentations of Computable Fields.Carl G. Jockusch Jr & Alexandra Shlapentokh - 1995 - Journal of Symbolic Logic 60 (1):199 - 208.
A Natural Axiomatization of Computability and Proof of Church's Thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.
Modelling of in Vivo Calcium Metabolism. I. Optimal Cooperation Between Constant and Rhythmic Behaviours.A. M. Perault-Staub, P. Tracqui & J. F. Staub - 1992 - Acta Biotheoretica 40 (2-3):95-102.
On the Unification Problem for Cartesian Closed Categories.Paliath Narendran, Frank Pfenning & Richard Statman - 1997 - Journal of Symbolic Logic 62 (2):636-647.
Church's Thesis, Continuity, and Set Theory.M. Beeson & A. Ščedrov - 1984 - Journal of Symbolic Logic 49 (2):630-643.
The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types.G. Longo & E. Moggi - 1984 - Journal of Symbolic Logic 49 (4):1319-1332.
Added to index2009-01-28
Total downloads9 ( #454,168 of 2,152,250 )
Recent downloads (6 months)1 ( #399,478 of 2,152,250 )
How can I increase my downloads?