Isomorphisms between HEO and HROE, ECF and ICFE
Journal of Symbolic Logic 50 (2):359 - 371 (1985)
| Abstract | 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesKosta Došen & Zoran Petrić (1999). Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic. Journal of Symbolic Logic 64 (1):227-242.
Marian Boykan Pour-EL & Saul A. Kripke (1967). Deduction-Preserving ‘Recursive Isomorphisms’ Between Theories. Fundamenta Mathematicae 61:141-163.
Harold Schellinx (1991). Isomorphisms and Nonisomorphisms of Graph Models. Journal of Symbolic Logic 56 (1):227-249.
Carl G. Jockusch Jr & Alexandra Shlapentokh (1995). Weak Presentations of Computable Fields. Journal of Symbolic Logic 60 (1):199 - 208.
Carl G. Jockusch Jr & Alexandra Shlapentokh (1995). Weak Presentations of Computable Fields. Journal of Symbolic Logic 60 (1):199 - 208.
Nachum Dershowitz & Yuri Gurevich (2008). A Natural Axiomatization of Computability and Proof of Church's Thesis. Bulletin of Symbolic Logic 14 (3):299-350.
A. M. Perault-Staub, P. Tracqui & J. F. Staub (1992). Modelling of in Vivo Calcium Metabolism. I. Optimal Cooperation Between Constant and Rhythmic Behaviours. Acta Biotheoretica 40 (2-3).
Paliath Narendran, Frank Pfenning & Richard Statman (1997). On the Unification Problem for Cartesian Closed Categories. Journal of Symbolic Logic 62 (2):636-647.
M. Beeson & A. Ščedrov (1984). Church's Thesis, Continuity, and Set Theory. Journal of Symbolic Logic 49 (2):630-643.
G. Longo & E. Moggi (1984). The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. Journal of Symbolic Logic 49 (4):1319-1332.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
