Skip to main content

Partitions and homogeneous sets for admissible ordinals

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

Abstract

In the present paper we explore partition properties of admissible ordinals. In §2 the connection between partition properties, collection, separation and reflection principles is studied. In §3 we give characterizations of partition properties which are satisfied by certain definable subsets of κ. Covering properties, which are studied in §4, are a convenient generalization of partition properties and are used to investigate the strength of certain partition properties of κ. Finally in §5 we study the definability of the homogeneous set in partitions of exponent greater than one.

The author is grateful to the Minna-James-Heineman Stiftung, Hannover, for its financial support during the preparation of the present paper at the Universität Heidelberg.

Some of the results of the present paper have also appeared in the author's 1983 Oxford doctoral thesis. He was assisted by an award from the Science Research Council and by the advice and encouragement of his supervisor Dr. Robin Gandy.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.00
Price excludes VAT (Canada)
  • 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Barwise, Admissible Sets and Structures, Springer Verlag, Heidelberg, 1975.

    CrossRef  MATH  Google Scholar 

  2. K. Devlin, Aspects of Constructibility, Springer Verlag Lecture Notes in Mathematics 354, 1973.

    Google Scholar 

  3. K. Devlin, An Introduction to the Fine Structure of the Constructible Hierarchy (Results of Ronald Jensen), in J. E. Fenstad and P. G. Himnam, eds., Generalized Recursion Theory, North-Holland 1974, pp. 123–163.

    Google Scholar 

  4. T. Jech, Set Theory, Academic Press, 1978.

    Google Scholar 

  5. C. Jockusch, Ramsey's Theorem and Recursion Theory, Journal of Symbolic Logic, 1972, pp. 268–280.

    Google Scholar 

  6. M. Kaufmann and E. Kranakis, Definable Ultrapowers and Ultrafilters over Admissible Ordinals, to appear in Zeitschrift für Mathematische Logik and Grundlagen der Mathematik.

    Google Scholar 

  7. E. Kranakis, Reflection and Partition Properties of Admissible Ordinals, Annals of Mathematical Logic, 1982, pp. 213–242.

    Google Scholar 

  8. E. Kranakis, Stepping Up Lemmas in Definable Partitions, JSL, 1984, pp. 22–31.

    Google Scholar 

  9. E. Kranakis, On Definable Ramsey and Definable Erdös Ordinals, to appear in Archiv für Mathematische Logik und Grunglagenforschung, 23/3–4, 1983, pp. 115–128.

    Google Scholar 

  10. I.C.C. Phillips, Definability Theory for Σn Admissible Ordinals with Particular References to Partition Relations and End Extensions, Oxford D. Phil Thesis, 1983.

    Google Scholar 

  11. W. Richter and P. Aczel, Inductive Definitions and Reflecting Properties of Admissible Ordinals, in J. E. Fenstad and P. G. Hinman, eds., Generalized Recursion Theory, North-Holland, 1974, pp. 301–381.

    Google Scholar 

  12. H. Rogers Jr., Recursive Functions and Effective Computability, McGraw-Hill, New York, 1967.

    MATH  Google Scholar 

  13. S. Simpson, Short Course on Admissible Set Theory, in J. E. Fenstad, R. O. Gandy and G. E. Sacks, eds., Generalized Recursion Theory II, North Holland, 1978, pp. 355–390.

    Google Scholar 

  14. S. Simpson, Degree Theory on Admissible Ordinals, in J. E. Fenstad and P. G. Hinman, eds., Generalized Recursion Theory, North-Holland, 1974, pp. 165–195.

    Google Scholar 

  15. S. Simpson, Σ2 Admissibility, Handwritten Notes.

    Google Scholar 

  16. E. Specker, Ramsey's Theorem does not hold in Recursive Set Theory, in R. O. Gandy and C.M.E. Yates, eds., Logic Colloquium '69, North-Holland, 1971, pp. 439–442.

    Google Scholar 

  17. C.E.M. Yates, A Note on Arithmetical Sets of Indiscernibles, in R. O. Gandy and C.E.M. Yates, Logic Colloquium '69, North-Holland, 1971, pp. 443–451.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1984 Springer-Verlag

About this paper

Cite this paper

Kranakis, E., Phillips, I. (1984). Partitions and homogeneous sets for admissible ordinals. In: Müller, G.H., Richter, M.M. (eds) Models and Sets. Lecture Notes in Mathematics, vol 1103. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0099389

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13900-3

  • Online ISBN: 978-3-540-39115-9

  • eBook Packages: Springer Book Archive