Stationary set¶

In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory.

Version: v1 · 2026-09-28 · History
Domain-specific #: 12259
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Set Theory, Model Theory → Mathematics

Core Idea¶

Stationary set is treated here as the recurring set theory identity summarized by this source-grounded definition: In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory.

In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory. There are at least three closely related notions of stationary set, depending on whether one is looking at subsets of an ordinal, or subsets of something of given cardinality, or a powerset. If \kappa is a successor cardinal, this result is due to Ulam and is easily shown by means of what is called an Ulam matrix.

These notions are in general different, although for X = \omega_1 and \lambda = \aleph_0 they coincide in the sense that S\subseteq[\omega_1]^\omega is stationary if and only if S\cap\omega_1 is stationary in \omega_1. If \kappa is a cardinal of uncountable cofinality, S \subseteq \kappa, and S intersects every club set in \kappa, then S is called a stationary set. If a set is not stationary, then it is called a thin set.

For Stationary set, the abstraction is narrower than the article's general subject matter: a positive case must preserve In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory. Retaining only the name, a familiar example, or a downstream effect is insufficient. The specialist roles and tests remain anchored in set theory, which is why this identity is domain-specific rather than prime.

Structural Signature¶

Sig role-phrases:

Defining carrier — If \kappa is a successor cardinal, this result is due to Ulam and is easily shown by means of what is called an Ulam matrix.
Constitutive relation — This notion is probably due to Magidor, Foreman and Shelah and has also been used prominently by Woodin.
Operating condition — If \kappa is a cardinal of uncountable cofinality, S \subseteq \kappa, and S intersects every club set in \kappa, then S is called a stationary set.
Recognition evidence — If a set is not stationary, then it is called a thin set.
Admissible variation — This notion should not be confused with the notion of a thin set in number theory.
Characteristic consequence — If S is a stationary set and C is a club set, then their intersection S \cap C is also stationary.
Failure boundary — This is because if D is any club set, then C \cap D is a club set, thus (S \cap C) \cap D = S \cap (C \cap D) is nonempty.

What It Is Not¶

Not the whole field of set theory. The node requires the specific identity stated by In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory.
Not an over-broad reading. If a set is not stationary, then it is called a thin set.
Not an over-broad reading. This notion should not be confused with the notion of a thin set in number theory.
Not an over-broad reading. These notions are in general different, although for X = \omega_1 and \lambda = \aleph_0 they coincide in the sense that S\subseteq[\omega_1]^\omega is stationary if and only if S\cap\omega_1 is stationary in \omega_1.
Not automatically Club principle. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.

Scope of Application¶

Stationary set applies literally inside set theory wherever the source-defined carrier and relation can be established. Its documented habitats include:

Classical notion. This notion should not be confused with the notion of a thin set in number theory.
Generalized notion. This notion is probably due to Magidor, Foreman and Shelah and has also been used prominently by Woodin.
Generalized notion. A set C\subseteq{\mathcal P}(X) is club (closed and unbounded) if and only if there is a function F:[X]^{ such that C={z:F[[z]^{.
Generalized notion. To see the connection with model theory, notice that if M is a structure with universe X in a countable language and F is a Skolem function for M , then a stationary S must contain an elementary substructure of M.
Classical notion. If \kappa is a cardinal of uncountable cofinality, S \subseteq \kappa, and S intersects every club set in \kappa, then S is called a stationary set.
Classical notion. If a set is not stationary, then it is called a thin set.

Outside set theory, the name should be retained only when these same operational conditions survive; otherwise the comparison belongs to the broader parent Theory or should be marked as analogy.

Clarity¶

A clear use of Stationary set names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory. The strongest recognition evidence in the frozen account is: If a set is not stationary, then it is called a thin set. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification If a set is not stationary, then it is called a thin set. so that a reader can reproduce the classification rather than infer it from topical resemblance.

Manages Complexity¶

Stationary set compresses multiple set theory details into a stable diagnostic relation. The source shows both the central mechanism—this notion is probably due to Magidor, Foreman and Shelah and has also been used prominently by Woodin.—and the practical consequence—if S is a stationary set and C is a club set, then their intersection S \cap C is also stationary. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.

Abstract Reasoning¶

Type the carrier. Identify the set theory entities to which the claim applies.
State the relation. Use the source-grounded identity: In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory.
Check operation and conditions. If \kappa is a cardinal of uncountable cofinality, S \subseteq \kappa, and S intersects every club set in \kappa, then S is called a stationary set.
Demand recognition evidence. If a set is not stationary, then it is called a thin set.
Test variation. Change an implementation or setting while preserving this notion should not be confused with the notion of a thin set in number theory.
Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Theory.

Knowledge Transfer¶

Within the home domain. Knowledge about Stationary set transfers literally when a new case preserves the same carrier type, relation, and recognition test. This notion should not be confused with the notion of a thin set in number theory. This notion is probably due to Magidor, Foreman and Shelah and has also been used prominently by Woodin.

Beyond the home domain. No canonical parent is asserted for Stationary set. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.

Examples¶

Canonical¶

This is no longer the case if the cofinality of \kappa is uncountable. This case is canonical because it supplies a concrete carrier and lets the defining relation be checked rather than merely named.

Mapped back: carrier → the entities in the documented case; operation → In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory; recognition evidence → If a set is not stationary, then it is called a thin set

Applied / In Practice¶

If \kappa is a cardinal of uncountable cofinality, S \subseteq \kappa, and S intersects every club set in \kappa, then S is called a stationary set. The applied case shows how the identity is used under a second setting or qualification while keeping the same operative relation.

Mapped back: changed setting → Classical notion; invariant → In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory; boundary → the case exits the class when if a set is not stationary, then it is called a thin set

Structural Tensions¶

T1 — Stable identity versus admissible variation. If a set is not stationary, then it is called a thin set. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Which changes preserve the defining relation, and which replace it?

T2 — Recognition versus proxy. This notion should not be confused with the notion of a thin set in number theory. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the cited evidence establish the identity or only a correlated sign?

T3 — Definition versus implementation. These notions are in general different, although for X = \omega_1 and \lambda = \aleph_0 they coincide in the sense that S\subseteq[\omega_1]^\omega is stationary if and only if S\cap\omega_1 is stationary in \omega_1. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Is the observed implementation constitutive, optional, or merely common?

T4 — Scope versus overextension. In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Can every claimed application fill the same typed roles without metaphor?

T5 — Transfer versus domain accent. If \kappa is a successor cardinal, this result is due to Ulam and is easily shown by means of what is called an Ulam matrix. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the receiving case instantiate Stationary set literally, co-instantiate Theory, or only resemble it?

T6 — Autonomy versus reduction. This notion is probably due to Magidor, Foreman and Shelah and has also been used prominently by Woodin. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: What does Stationary set distinguish that the broader parent Theory leaves together?

Structural–Framed Character¶

Stationary set is mixed or framed-leaning. Its structural side is the repeatable organization summarized by In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory. Its framed side is the set theory vocabulary that fixes the carrier, evidence, exceptions, and admissible transformations.

Evaluative weight: the identity can be stated descriptively even when applications carry practical stakes. Human-practice dependence: the source-grounded carrier determines whether the relation exists independently or is constituted by a practice. Institutional origin: disciplinary conventions stabilize the name and test. Vocabulary portability: If \kappa is a cardinal of uncountable cofinality, S \subseteq \kappa, and S intersects every club set in \kappa, then S is called a stationary set. Import versus recognition: literal transfer requires the same mechanism; shape alone is analogy.

Its portable skeleton is Theory. Its character: a recurring specialist identity whose thin organization can be abstracted, while its operational meaning remains domain-bound.

Structural Core vs. Domain Accent¶

What is skeletal. In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory. The stable skeleton is the typed relation expressed in that definition and the entry's recognition and collapse tests. The source identifies these operative conditions: If \kappa is a successor cardinal, this result is due to Ulam and is easily shown by means of what is called an Ulam matrix. This notion is probably due to Magidor, Foreman and Shelah and has also been used prominently by Woodin. It further constrains recognition and variation through: If \kappa is a cardinal of uncountable cofinality, S \subseteq \kappa, and S intersects every club set in \kappa, then S is called a stationary set. If a set is not stationary, then it is called a thin set.

What is domain-bound. set theory supplies the operative entities, technical vocabulary, warrants, and exceptions that make Stationary set literal. Its documented scope includes the condition that This notion should not be confused with the notion of a thin set in number theory. Another bounded application condition is that This notion is probably due to Magidor, Foreman and Shelah and has also been used prominently by Woodin. These are not decorative examples; they determine which carrier and evidence can fill the abstraction's roles.

Why no parent is asserted. Removing those specialist details does not currently yield one live catalog node that is a necessary genus for every instance. The entry is therefore approved as unparented rather than attached by topical resemblance. Its collapse evidence remains specific—This notion should not be confused with the notion of a thin set in number theory.—and future graph densification may discover a defensible relation only if it preserves that boundary.

This entry is a kind of Set and Membership.

Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Stationary set. The reviewed identity is: In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory. The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.

Relationships to Other Abstractions¶

Current abstraction Stationary set Domain-specific

Parents (1) — more general patterns this builds on

Stationary set is a kind of Set and Membership Prime

A stationary set is a set with a club-intersection differentia. The live eta-alpha Set endpoint is unrelated.

Hierarchy path (1) — routes to 1 parentless root

Stationary set → Set and Membership

Neighborhood in Abstraction Space¶

Stationary set sits in a moderately populated region (57^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Abstract Algebra & Category Theory (24 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Theory. The parent omits the specialist differentia. Tell: Can the case establish In mathematics, specifically set theory and model theory, a stationary set is a set that is not too small in the sense that it intersects all club sets and is analogous to a set of non-zero measure in measure theory?
Club principle. A set-theoretic guessing principle asserting a sequence of cofinal subsets that is fully contained in every unbounded set at some indexed stage. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Stationary sequence. A sequence of random variables whose finite-dimensional joint distributions are invariant under shifts of the index origin. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Square principle. A set-theoretic principle asserting a coherent sequence of short club sets with no single global thread. Tell: Which entry's carrier, operation, and failure condition are satisfied?
A measurement, proxy, or consequence. Those may provide evidence without being the identity. Tell: Would Stationary set remain present if the detector or downstream effect changed?
A metaphorical analogue. A similar shape outside set theory lacks the specialist mechanism. Tell: Do the native roles transfer literally, or only the parent Theory?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Stationary_set (revision 1316100177).
Preserved source candidate: https://web.archive.org/web/20050515042933/http://math.uci.edu/sub2/Foreman/homepage/hajfin.ps

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.