Prefer a chat interface with context about you and your work?
On ultrafilters in ZF models and indecomposable ultrafilters
We use indecomposable ultrafilters to answer some questions of Hayut, Karagila paper "Spectra of uniformity". It is shown that the bound on the strength by T. Usuba "A note on uniform ultrafilters in choiceless context" is optimal.