We prove that any definable family of subsets of a definable infinite set in an o‐minimal structure has cardinality at most . We derive some consequences in terms of counting definable types and existence of definable topological spaces.
No takes yet. Share an insight, caveat, or question.
Pablo Andújar Guerrero (2024) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: