Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

Generalized Weak Presentations

Alexandra Shlapentokh
The Journal of Symbolic Logic
Vol. 67, No. 2 (Jun., 2002), pp. 787-819
Stable URL: http://www.jstor.org/stable/2694951
Page Count: 33
  • Read Online (Free)
  • Download ($10.00)
  • Subscribe ($19.50)
  • Cite this Item
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Generalized Weak Presentations
Preview not available

Abstract

Let K be a computable field. Let F be a collection of recursive functions over K, possibly including field operations. We investigate the following question. Given an r.e. degree a, is there an injective map j: K $\longrightarrow \mathbb{N}$ such that j(K) is of degree a and all the functions in F are translated by restrictions of total recursive functions.

Page Thumbnails

  • Thumbnail: Page 
787
    787
  • Thumbnail: Page 
788
    788
  • Thumbnail: Page 
789
    789
  • Thumbnail: Page 
790
    790
  • Thumbnail: Page 
791
    791
  • Thumbnail: Page 
792
    792
  • Thumbnail: Page 
793
    793
  • Thumbnail: Page 
794
    794
  • Thumbnail: Page 
795
    795
  • Thumbnail: Page 
796
    796
  • Thumbnail: Page 
797
    797
  • Thumbnail: Page 
798
    798
  • Thumbnail: Page 
799
    799
  • Thumbnail: Page 
800
    800
  • Thumbnail: Page 
801
    801
  • Thumbnail: Page 
802
    802
  • Thumbnail: Page 
803
    803
  • Thumbnail: Page 
804
    804
  • Thumbnail: Page 
805
    805
  • Thumbnail: Page 
806
    806
  • Thumbnail: Page 
807
    807
  • Thumbnail: Page 
808
    808
  • Thumbnail: Page 
809
    809
  • Thumbnail: Page 
810
    810
  • Thumbnail: Page 
811
    811
  • Thumbnail: Page 
812
    812
  • Thumbnail: Page 
813
    813
  • Thumbnail: Page 
814
    814
  • Thumbnail: Page 
815
    815
  • Thumbnail: Page 
816
    816
  • Thumbnail: Page 
817
    817
  • Thumbnail: Page 
818
    818
  • Thumbnail: Page 
819
    819