It seems that these three tags are being discussed in this thread: infinite-combinatorics, small-uncountable-cardinals, cardinal-characteristics.The tag infinite-combinatorics exists for a long time, but it might be good to improve the tag-info. Whether or not the other two tags should be created is part of this discussion - again, clarifying the content of the tag and suggesting the tag-info might be useful in deciding whether the tag might useful.
Let us use this community-wiki answer to write down some suggestions for the tag-info. (And in the comments we can discuss what should be included.) The post is made CW explicitly to encourage editing by other users. (After all, this is the purpose why the community-wiki feature exists.) So do not hesitate to edit the proposed tag-infos if you have any improvements or additions.
The tag (infinite-combinatorics)
This tag currently has a short tag-excerpt and empty tag-wiki.
Infinite combinatorics deals with various combinatorial properties of infinite sets. The topics might include, for example,
- Ramsey theory on infinite set and partition calculus;
- Cardinal characteristic of the continuum and related topics;
- Infinite trees, such as Kurepa tree or Aronszajn tree;
- Ramsey ultrafilters, p-points and related topics.
- (Maximal) almost disjoint families.
The tag (small-uncountable-cardinals)
The tag currently has a short tag excerpt and empty tag-info. (The tag was created very recently - it is possible that, depending on the outcome of this discussion, it might be either removed or possibly moderators might rename this tag.)
Small uncountable cardinals or cardinal characteristics of continuum are various cardinals which are typically between $\aleph_1$ and $2^{\aleph_0}$ and their definition often has a combinatorial flavor. Some examples are:
- The cardinal $\mathfrak p$ - the smallest cardinality of subsystem of $[\omega]^\omega$ with strong finite intersection property and no pseudointersection.
- Various cardinals related to $(\omega^\omega,\le^*)$ such as the bounding number $\mathfrak b$ (=the smallest cardinality of an unbounded subset) or the dominating number $\mathfrak d$ (=the smallest cardinality of dominating subset).
See also: Cardinal characteristic of the continuum on Wikipedia.
The tag (cardinal-characteristics)
A suggestion for the tag-info:
Cardinal characteristics of continuum are various cardinals which are typically between $\aleph_1$ and $2^{\aleph_0}$ and their definition often has a combinatorial flavor. Some examples are:
- The cardinal $\mathfrak p$ - the smallest cardinality of subsystem of $[\omega]^\omega$ with strong finite intersection property and no pseudointersection.
- Various cardinals related to $(\omega^\omega,\le^*)$ such as the bounding number $\mathfrak b$ (=the smallest cardinality of an unbounded subset) or the dominating number $\mathfrak d$ (=the smallest cardinality of dominating subset).
See also: Cardinal characteristic of the continuum on Wikipedia.
The tag also encompasses analogues at larger cardinals, such as the bounding number $\mathfrak b(\kappa)$ defined in terms of families of functions from $\kappa$ to $\kappa$, and cardinal invariants of certain structures (such as topological spaces or Boolean algebras).
