Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-11-10T04:33:39.710Z Has data issue: false hasContentIssue false
  • English
  • Français

BERKELEY CARDINALS AND THE STRUCTURE OF L(Vδ+1)

Published online by Cambridge University Press:  21 December 2018

RAFFAELLA CUTOLO
RAFFAELLA CUTOLO*
Affiliation:
DEPARTMENT OF MATHEMATICS AND APPLICATIONS UNIVERSITY OF NAPLES “FEDERICO II” VIA CINTIA 21, 80126 NAPLES, ITALYE-mail: raffaella.cutolo@unina.it
Get access Rights & Permissions [Opens in a new window]

Abstract

We explore the structural properties of the inner model L(Vδ+1) under the assumption that δ is a singular limit of Berkeley cardinals each of which is itself limit of extendible cardinals, lifting some of the main results of the theory of the axiom I0 to the level of Berkeley cardinals, the strongest known large cardinal axioms. Berkeley cardinals have been recently introduced in [1] and contradict the Axiom of Choice.1 In fact, our background theory will be ZF.

Keywords

03E4503E55Berkeley cardinalschoiceless large cardinalsI0
Type
Articles
Information
The Journal of Symbolic Logic , Volume 83 , Issue 4 , December 2018 , pp. 1457 - 1476
Copyright
Copyright © The Association for Symbolic Logic 2018 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

1

Precisely, it is shown in [1] that if the cofinality of the least Berkeley cardinal equals γ then γ-DC fails, where γ-DC is γ-Dependent Choice.

References

REFERENCES

Bagaria, J., Koellner, P., and Woodin, W. H., Large cardinals beyond choice, to appear.Google Scholar
Cramer, S., Implications of very large cardinals. Contemporary Mathematics, vol. 690 (2017), pp. 225–257.CrossRefGoogle Scholar
Dimonte, V., I0 and rank-into-rank axioms. Bollettino Dell’Unione Matematica Italiana (2017), doi: 10.1007/s40574-017-0136-y.Google Scholar
Kafkoulis, G., Coding lemmata in $L\left( {{V_{\lambda + 1}}} \right)$.. Archive for Mathematical Logic, vol. 43 (2004), pp. 193–213.CrossRefGoogle Scholar
Kanamori, A., The Higher Infinite: Large Cardinals in Set Theory From Their Beginnings, second ed., Springer Monographs in Mathematics, Springer, Berlin, 2003.Google Scholar
Steel, J., Scales in $L\left( {\Cal R} \right)$., Cabal Seminar 79–81 (Kechris, A., Martin, D. A., and Moschovakis, Y., editors), Lecture Notes in Mathematics, Springer, Berlin, 1983, pp. 107–156.CrossRefGoogle Scholar
Woodin, W. H., Suitable extender models I. Journal of Mathematical Logic, vol. 10 (2010), pp. 101–339.CrossRefGoogle Scholar
Woodin, W. H., Suitable extender models II: Beyond ω-huge. Journal of Mathematical Logic, vol. 11 (2011), pp. 115–436.CrossRefGoogle Scholar