1 results
On
$\Sigma _1$-definable closed unbounded sets
- Part of
-
- Journal:
- Canadian Journal of Mathematics , First View
- Published online by Cambridge University Press:
- 14 January 2025, pp. 1-33
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
-
Definable stationary sets, and specifically, ordinal definable ones, play a significant role in the study of canonical inner models of set theory and the class HOD of hereditarily ordinal definable sets. Fixing a certain notion of definability and an uncountable cardinal, one can consider the associated family of definable closed unbounded sets. In this paper, we study the extent to which such families can approximate the full closed unbounded filter and their dependence on the defining complexity. Focusing on closed unbounded subsets of a cardinal
$\kappa $ which are 
$\Sigma _1$-definable in parameters from H
${}_\kappa $ and ordinal parameters, we show that the ability of such closed unbounded sets to well approximate the closed unbounded filter on 
$\kappa $ can highly vary and strongly depends on key properties of the underlying universe of set theory.
