Author: nLab edit announcer Format: MarkdownItexThis page doesn't seem to have a discussion page on the nForum.
Anonymous
<a href="https://ncatlab.org/nlab/revision/diff/ultrafilter+theorem/23">diff</a>, <a href="https://ncatlab.org/nlab/revision/ultrafilter+theorem/23">v23</a>, <a href="https://ncatlab.org/nlab/show/ultrafilter+theorem">current</a>
This page doesnâ€™t seem to have a discussion page on the nForum.
Author: Guest Format: TextIs there an axiom about [[infinity-groupoids]], such that speaking about [[0-truncated]] infinity-groupoids yields the ultrafilter principle?
Is there an axiom about infinity-groupoids, such that speaking about 0-truncated infinity-groupoids yields the ultrafilter principle?