A short mathematical proof of Frankiewicz - Kunen theorem
Logic
2017-11-08 v2
Abstract
In this paper there is proved without any metamathematical techniques that the existence of precipitous ideals immediately follows from Kuratowski partitions.
Keywords
Cite
@article{arxiv.1706.08849,
title = {A short mathematical proof of Frankiewicz - Kunen theorem},
author = {Ryszard Frankiewicz and Joanna Jureczko},
journal= {arXiv preprint arXiv:1706.08849},
year = {2017}
}