science

Strongly compact cardinal

Strongly compact cardinal is a science topic covered in the lgStudy science library. This page brings together a partial reference excerpt, illustrations, worked examples, real-world applications and a short study plan, so you can understand Strongly compact cardinal rather than just read about it. In short: In set theory, a strongly compact cardinal is a certain kind of large cardinal. An uncountable cardinal κ is strongly compact if and only if every κ-complete filter can be extended to a κ-complete ultrafilter.

Key takeaways

Strongly compact cardinal belongs to science; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Strongly compact cardinal to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Strongly compact cardinal from memory before moving on to harder problems.

Reference excerpt

In set theory, a strongly compact cardinal is a certain kind of large cardinal. An uncountable 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. Extendibility is a second-order analog of strong compactness.

See also List of large cardinal properties

Footnotes

References

Worked examples

Example 1 — a first encounter with Strongly compact cardinal

Start with the simplest possible case. Write down what Strongly compact cardinal claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In science, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Strongly compact cardinal before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Strongly compact cardinal ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Strongly compact cardinal

In research: Strongly compact cardinal appears in science research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Strongly compact cardinal in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Strongly compact cardinal is common in secondary-school and first-year university syllabi. It links to neighbouring topics Large cardinals, Set theory stubs, so understanding it makes those chapters shorter.
In everyday life: Look for Strongly compact cardinal outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

Ask Teacher Smith questions about this articleOpens your AI tutor with a question about “Strongly compact cardinal” →

Affiliate

Preply — study more efficiently by working with a personal tutor. 50% off.

How to study Strongly compact cardinal in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Strongly compact cardinal means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Strongly compact cardinal out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Strongly compact cardinal in simple terms?

Why does Strongly compact cardinal matter?

Because it connects several science ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Strongly compact cardinal?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Strongly compact cardinal.