Name
Abstract | ||
|---|---|---|
For each natural number n, let C (n) be the closed and unbounded proper class of ordinals 驴 such that V 驴 is a Σ n elementary substructure of V. We say that 驴 is a C (n) -cardinal if it is the critical point of an elementary embedding j : V 驴 M, M transitive, with j(驴) in C (n). By analyzing the notion of C (n)-cardinal at various levels of the usual hierarchy of large cardinal principles we show that, starting at the level of superstrong cardinals and up to the level of rank-into-rank embeddings, C (n)-cardinals form a much finer hierarchy. The naturalness of the notion of C (n)-cardinal is exemplified by showing that the existence of C (n)-extendible cardinals is equivalent to simple reflection principles for classes of structures, which generalize the notions of supercompact and extendible cardinals. Moreover, building on results of Bagaria et al. (2010), we give new characterizations of Vope驴ka's Principle in terms of C (n)-extendible cardinals. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1007/s00153-011-0261-8 | Arch. Math. Log. |
Keywords | Field | DocType |
m transitive,natural number n,large cardinal principle,usual hierarchy,finer hierarchy,superstrong cardinal,extendible cardinal,various level,n elementary substructure,elementary embedding j | Discrete mathematics,Combinatorics,Natural number,Large cardinal,Elementary equivalence,Cardinal number,Ordinal number,Critical point (thermodynamics),Hierarchy,Mathematics,Transitive relation | Journal |
Volume | Issue | ISSN |
51 | 3-4 | Arch. Math. Logic, (2012) 51:213-240 |
Citations | PageRank | References |
7 | 0.78 | 1 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Joan Bagaria | 1 | 63 | 13.15 |