Global Information Lookup Global Information

Strongly compact cardinal information


In set theory, a branch of mathematics, a strongly compact cardinal is a certain kind of large cardinal.

A cardinal κ is strongly compact if and only if every κ-complete filter can be extended to a κ-complete ultrafilter.

Strongly compact cardinals were originally defined in terms of infinitary logic, where logical operators are allowed to take infinitely many operands. The logic on a regular cardinal κ is defined by requiring the number of operands for each operator to be less than κ; then κ is strongly compact if its logic satisfies an analog of the compactness property of finitary logic. Specifically, a statement which follows from some other collection of statements should also follow from some subcollection having cardinality less than κ.

The property of strong compactness may be weakened by only requiring this compactness property to hold when the original collection of statements has cardinality below a certain cardinal λ; we may then refer to λ-compactness. A cardinal is weakly compact if and only if it is κ-compact; this was the original definition of that concept.

Strong compactness implies measurability, and is implied by supercompactness. Given that the relevant cardinals exist, it is consistent with ZFC either that the first measurable cardinal is strongly compact, or that the first strongly compact cardinal is supercompact; these cannot both be true, however. A measurable limit of strongly compact cardinals is strongly compact, but the least such limit is not supercompact.

The consistency strength of strong compactness is strictly above that of a Woodin cardinal. Some set theorists conjecture that existence of a strongly compact cardinal is equiconsistent with that of a supercompact cardinal. However, a proof is unlikely until a canonical inner model theory for supercompact cardinals is developed.

Jech obtained a variant of the tree property which holds for an inaccessible cardinal if and only if it is strongly compact.[1]

Extendibility is a second-order analog of strong compactness.

  1. ^ Hachtman, Sherwood; Sinapova, Dima (2020). "The super tree property at the successor of a singular" (PDF). Israel Journal of Mathematics. 236 (1): 473–500. arXiv:1806.00820. doi:10.1007/s11856-020-2000-5.

and 26 Related for: Strongly compact cardinal information

Request time (Page generated in 0.8256 seconds.)

Strongly compact cardinal

Last Update:

a branch of mathematics, a strongly compact cardinal is a certain kind of large cardinal. A cardinal κ is strongly compact if and only if every κ-complete...

Word Count : 394

Weakly compact cardinal

Last Update:

(Tarski originally called them "not strongly incompact" cardinals.) Formally, a cardinal κ is defined to be weakly compact if it is uncountable and for every...

Word Count : 936

Compact cardinal

Last Update:

Compact cardinal may refer to: Weakly compact cardinal Subcompact cardinal Supercompact cardinal Strongly compact cardinal This article includes a list...

Word Count : 53

List of large cardinal properties

Last Update:

arranges cardinals in order of consistency strength, with size of the cardinal used as a tiebreaker. In a few cases (such as strongly compact cardinals) the...

Word Count : 507

Inaccessible cardinal

Last Update:

) A cardinal which is weakly inaccessible and also a strong limit cardinal is strongly inaccessible. The assumption of the existence of a strongly inaccessible...

Word Count : 2223

Supercompact cardinal

Last Update:

holds for an inaccessible cardinal iff it is supercompact. Indestructibility Strongly compact cardinal List of large cardinal properties Drake, F. R. (1974)...

Word Count : 886

List of unsolved problems in mathematics

Last Update:

consistency of the existence of a strongly compact cardinal imply the consistent existence of a supercompact cardinal? Does there exist a Jónsson algebra...

Word Count : 19532

Subtle cardinal

Last Update:

stationarily many weak compactness cardinals. Vopenka's principle itself may be stated as the existence of a strong compactness cardinal for each logic. There...

Word Count : 413

Glossary of set theory

Last Update:

Vλ 3.  A strong limit cardinal is a (usually nonzero) cardinal that is larger than the powerset of any smaller cardinal strongly 1.  A strongly inaccessible...

Word Count : 11511

Unfoldable cardinal

Last Update:

a cardinal is strongly unfoldable if and only if it is strongly λ-unfoldable for all λ. These properties are essentially weaker versions of strong and...

Word Count : 485

Subcompact cardinal

Last Update:

This prevents them from witnessing even a κ+ strongly compact cardinal κ. Subcompact and quasicompact cardinals were defined by Ronald Jensen. "Square in...

Word Count : 348

Woodin cardinal

Last Update:

and thus it is a Mahlo cardinal. However, the first Woodin cardinal is not even weakly compact. The hierarchy V α {\displaystyle V_{\alpha }} (known as...

Word Count : 1849

Singular cardinals hypothesis

Last Update:

Solovay showed that large cardinals almost imply SCH—in particular, if κ {\displaystyle \kappa } is strongly compact cardinal, then the SCH holds above...

Word Count : 708

Kenneth Kunen

Last Update:

\kappa } is a strongly compact cardinal then there is an inner model of set theory with κ {\displaystyle \kappa } many measurable cardinals. He proved Kunen's...

Word Count : 608

Menachem Magidor

Last Update:

regular cardinal. He proved that the least strongly compact cardinal can be equal to the least measurable cardinal or to the least supercompact cardinal (but...

Word Count : 581

Topological property

Last Update:

dispersion character of X . {\displaystyle X.} Strongly discrete. Set D {\displaystyle D} is strongly discrete subset of the space X {\displaystyle X}...

Word Count : 2398

Infinitary logic

Last Update:

can be complete without being strongly complete. A cardinal κ ≠ ω {\displaystyle \kappa \neq \omega } is weakly compact when for every theory T in L κ...

Word Count : 1736

Moti Gitik

Last Update:

uncountable cardinals are singular" (a strong negation of the axiom of choice) from the consistency of "there is a proper class of strongly compact cardinals"....

Word Count : 332

Joan Bagaria

Last Update:

S2CID 208867731. J. Bagaria & M. Magidor (2014). "Group radicals and strongly compact cardinals". Transactions of the American Mathematical Society. 366 (4):...

Word Count : 494

List of mathematical logic topics

Last Update:

Measurable cardinal N-huge cardinal Ramsey cardinal Rank-into-rank Remarkable cardinal Shelah cardinal Strong cardinal Strongly inaccessible cardinal Subtle...

Word Count : 1012

Axiom of choice

Last Update:

itself, but requires a mild large cardinal assumption (the existence of an inaccessible cardinal). The much stronger axiom of determinacy, or AD, implies...

Word Count : 8210

Large cardinal

Last Update:

field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the...

Word Count : 1324

Indescribable cardinal

Last Update:

Π 1 1 {\displaystyle \Pi _{1}^{1}} -indescribable cardinals are the same as weakly compact cardinals. The indescribability condition is equivalent to V...

Word Count : 1864

Abstract elementary class

Last Update:

categoricity conjecture for a successor from large cardinals: If there are class-many strongly compact cardinals, then Shelah's categoricity conjecture holds...

Word Count : 1724

Separable space

Last Update:

on the cardinality of a topological space: any set endowed with the trivial topology is separable, as well as second countable, quasi-compact, and connected...

Word Count : 2071

Tame abstract elementary class

Last Update:

be tame are known: Tameness is a large cardinal axiom: There are class-many almost strongly compact cardinals iff any abstract elementary class is tame...

Word Count : 1041

PDF Search Engine © AllGlobal.net