Skip to main content
SpringerLink
Log in

Recursion theory on strongly Σ2 inadmissible ordinals

  • Conference paper
  • First Online:
Recursion Theory Week

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

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

  • C. T. Chong [1979], Major subsets of α-recursively enumerable sets, Israel J. Math. 34, 106–114

    Article  MathSciNet  MATH  Google Scholar 

  • C. T. Chong [1983], Global and local admissibility: II. Major subsets and automorphisms, Annals Pure and Applied Logic 24, 99–111

    Article  MathSciNet  MATH  Google Scholar 

  • C. T. Chong [to appear], Techniques of Admissible Recursion Theory

    Google Scholar 

  • C. T. Chong and S. D. Friedman [1983], Degree theory on ℵω, Annals Pure and Applied Logic 24, 87–97

    Article  MathSciNet  MATH  Google Scholar 

  • C. T. Chong and M. Lerman [1976], Hyperhypersimple α-r.e. sets, Annals Math. Logic 9, 1–48

    Article  MathSciNet  Google Scholar 

  • S. D. Friedman [1981], Natural α-r.e. degrees, in: Logic Year 1979–1980, Lecture Notes in Math. Vol.859

    Google Scholar 

  • S. D. Friedman [1981a], Nagative solutions to Post's problem II, Annals Math., 113, 25–43

    Article  MATH  Google Scholar 

  • S. D. Friedman [1983], Some recent developments in higher recursion theory, J. Symbolic Logic 48, 629–642

    Article  MathSciNet  MATH  Google Scholar 

  • A. H. Lachlan [1975], A recursively enumerable degree which will not split over all lesser ones, Annals Math. Logic 9, 307–365

    Article  MathSciNet  MATH  Google Scholar 

  • R. B. Jensen [1972], The fine structure of the constructible universe, Annals Math. Logic 4, 229–308

    Article  MATH  Google Scholar 

  • A. Leggett and R. A. Shore [1976], Types of simple α-recursively enumerable sets, J. Symbolic Logic 41, 681–694

    MathSciNet  MATH  Google Scholar 

  • M. Lerman [1976], Types of simple α-recursively enumerable sets, J. Symbolic Logic 41, 419–426

    MathSciNet  MATH  Google Scholar 

  • W. A. Maass [1978], High α-recursively enumerable degrees, in: Generalized Recursion Theory II, North Holland, 239–270

    Google Scholar 

  • R. W. Robinson [1971], Interpolation and embedding in the recursively enumerable degrees, Annals Math. 93, 285–314

    Article  MathSciNet  MATH  Google Scholar 

  • R. A. Shore [1976], On the jump of an α-recursively enumerable set, Trans. Amer. Math. Soc. 217, 351–363

    MathSciNet  MATH  Google Scholar 

  • R. A. Shore [1976a], The recursively enumerable α-degrees are dense, Annals Math. Logic 9, 123–155

    Article  MathSciNet  MATH  Google Scholar 

  • R. A. Shore [1978], On the AE-sentences of α-recursion theory, in: Generalized Recursion Theory II, North Holland, 331–354

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, National University of Singapore, 0511, Singapore

    C. T. Chong

Authors
  1. C. T. Chong
    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

Chong, C.T. (1985). Recursion theory on strongly Σ2 inadmissible ordinals. 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/BFb0076214

Download citation

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

  • 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