Skip to main content
SpringerLink
Log in

Absolute type 2 objects

  • Conference paper
  • First Online:
Book cover Recursion Theory Week

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 1141))

The work was partially supported by Grant-in-Aid for Scientific Research (No. 59740102), Ministry of Education.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Aczel and P.G. Hinman, Recursion in the superjump, in: Generalized Recursion Theory, edited by J.E. Fenstad and P.G. Hinman (North-Holland, 1974) 3–41.

    Google Scholar 

  2. J. Barwise, Admissible Sets and Structures (Springer, 1974).

    Google Scholar 

  3. A. Beller, R.B. Jensen and P. Welch, Coding the Universe (Cambridge Univ. Press, 1982).

    Google Scholar 

  4. K. Devlin and J.B. Paris, Certain sequences of ordinals, Colloquia Math. Soc. J. Bolyai Keszthely, Hungary (1973) 333–360.

    Google Scholar 

  5. R.B. Jensen and R.M. Solovay, Some applications of almost disjoint sets, in: Mathematical Logic and Foundations of Set Theory, edited by Y. Bar-Hillel (North-Holland, 1970) 84–104.

    Google Scholar 

  6. K. Kunen, Set Theory (North-Holland, 1980).

    Google Scholar 

  7. K. Kunen, Combinatorics, in: Handbook of Mathematical Logic, edited by J. Barwise (North-Holland, 1977) 371–402.

    Google Scholar 

  8. R. Platek, A countable hierarchy for the superjump, in: Logic Colloquium '69, edited by R.O. Gandy and C.E,M. Yates (North-Holland, 1971) 257–271.

    Google Scholar 

  9. G.E. Sacks, Countable admissible ordinals and hyperdegrees, Advances in Math., 20 (1976) 213–262.

    Article  MathSciNet  MATH  Google Scholar 

  10. A. Zarach, Generic extension of admissible sets, Lecture Notes in Math., 537 (Springer, 1976) 321–333.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics College of General Education, Nagoya University, Chikusa-ku, 464, Nagoya, Japan

    Juichi Shinoda

Authors
  1. Juichi Shinoda
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Heinz-Dieter Ebbinghaus Gert H. Müller Gerald E. Sacks

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag

About this paper

Cite this paper

Shinoda, J. (1985). Absolute type 2 objects. In: Ebbinghaus, HD., Müller, G.H., Sacks, G.E. (eds) Recursion Theory Week. Lecture Notes in Mathematics, vol 1141. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0076229

Download citation

  • DOI: https://doi.org/10.1007/BFb0076229

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15673-4

  • Online ISBN: 978-3-540-39596-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation