Skip to main content
SpringerLink
Log in

Elementary chains and C (n)-cardinals

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

The C (n)-cardinals were introduced recently by Bagaria and are strong forms of the usual large cardinals. For a wide range of large cardinal notions, Bagaria has shown that the consistency of the corresponding C (n)-versions follows from the existence of rank-into-rank elementary embeddings. In this article, we further study the C (n)-hierarchies of tall, strong, superstrong, supercompact, and extendible cardinals, giving some improved consistency bounds while, at the same time, addressing questions which had been left open. In addition, we consider two cases which were not dealt with by Bagaria; namely, C (n)-Woodin and C (n)-strongly compact cardinals, for which we provide characterizations in terms of their ordinary counterparts. Finally, we give a brief account on the interaction of C (n)-cardinals with the forcing machinery.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Bagaria J.: C (n)-cardinals. Arch. Math. Logic 51(3–4), 213–240 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  2. Bagaria, J., Hamkins, J.D., Tsaprounis, K., Usuba, T.: Superstrong and other large cardinals are never Laver indestructible. Preprint (2013), available at http://arxiv.org/abs/1307.3486

  3. Cummings J.: A model in which GCH holds at successors but fails at limits. Trans. Am. Math. Soc. 329(1), 1–39 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  4. Cummings J.: Iterated forcing and elementary embeddings. In: Foreman, M., Kanamori, A. (eds) Handbook of Set Theory, pp. 775–883. Springer, New York (2010)

    Chapter  Google Scholar 

  5. Hamkins J.D.: Canonical seeds and Prikry trees. J. Symb. Logic 62(2), 373–396 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  6. Hamkins J.D.: Tall cardinals. Math. Logic Q. 55(1), 68–86 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  7. Kanamori A.: The Higher Infinite. Springer, Berlin (1994)

    MATH  Google Scholar 

  8. Martin D., Steel J.: A proof of projective determinacy. J. Am. Math. Soc. 2(1), 71–125 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  9. Tsaprounis K.: On extendible cardinals and the GCH. Arch. Math. Logic 52(5–6), 593–602 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  10. Tsaprounis, K.: Large cardinals and resurrection axioms. Ph.D. dissertation, University of Barcelona, Spain (2012)

Download references

Author information

Authors and Affiliations

  1. Department of Logic, History and Philosophy of Science, University of Barcelona, 08001, Barcelona, Spain

    Konstantinos Tsaprounis

Authors
  1. Konstantinos Tsaprounis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Konstantinos Tsaprounis.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Tsaprounis, K. Elementary chains and C (n)-cardinals. Arch. Math. Logic 53, 89–118 (2014). https://doi.org/10.1007/s00153-013-0357-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-013-0357-4

Keywords

Mathematics Subject Classification (2010)

Search

Navigation