Author: Mike Shulman Format: MarkdownItexCreated page with definition and examples, mainly because I wanted to record the relationship between the classical $\lhd$ and Lurie's $\ll$.
<a href="https://ncatlab.org/nlab/revision/sharply+smaller+cardinal/1">v1</a>, <a href="https://ncatlab.org/nlab/show/sharply+smaller+cardinal">current</a>
Created page with definition and examples, mainly because I wanted to record the relationship between the classical and Lurie’s .
Author: Mike Shulman Format: MarkdownItexAdded links to some MO questions.
<a href="https://ncatlab.org/nlab/revision/diff/sharply+smaller+cardinal/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/sharply+smaller+cardinal/3">v3</a>, <a href="https://ncatlab.org/nlab/show/sharply+smaller+cardinal">current</a>
Author: Mike Shulman Format: MarkdownItexAdded link to MO answer showing that "$\lambda\lhd\mu$ \implies $\lambda\ll\mu$" is independent of ZFC.
<a href="https://ncatlab.org/nlab/revision/diff/sharply+smaller+cardinal/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/sharply+smaller+cardinal/4">v4</a>, <a href="https://ncatlab.org/nlab/show/sharply+smaller+cardinal">current</a>
Added link to MO answer showing that “ \implies ” is independent of ZFC.