Advertisement

Sound functors

  • J N Crossley
  • Anil Nerode
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 500)

Keywords

Natural Number Full Subcategory Combinatorial Function Sound Type Partial Recursive Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. CROSSLEY, J N and A NERODE [1974] Combinatorial functors. Ergebnisse der Math. u. ihrer Grenzgebiete, Vol. 81, 1974. [to appear] Effective dimensions.Google Scholar
  2. DEKKER, J C E [1969] Countable vector spaces with recursive operations, Part 1, J.S.L. 34, 1969, 363–387.MathSciNetzbMATHGoogle Scholar
  3. — [1971] Two notes on vector spaces with recursive operations, Notre Dame J. Formal Logic 12, 1971, 329–334.MathSciNetCrossRefzbMATHGoogle Scholar
  4. FRÖHLICH, A and J C SHEPHERDSONGoogle Scholar
  5. HAMILTON, A G [1969] D.Phil. Thesis, Oxford, 1969.Google Scholar
  6. — [1970] Bases and α-dimensions of countable vector spaces with recursive operations, J.S.L. 35, 1970, 85–96.MathSciNetzbMATHGoogle Scholar
  7. HAMILTON, A G [1974] Recursive equivalence types of vector spaces, J. Aust. Math. Soc. (to appear).Google Scholar

Copyright information

© Springer-Verlag 1975

Authors and Affiliations

  • J N Crossley
  • Anil Nerode

There are no affiliations available

Personalised recommendations