TY - RPRT TI - Mathias--Prikry and Laver type forcing; Summable ideals, coideals, and $+$-selective filters AU - David Chodounský AU - Osvaldo Guzmán AU - Michael Hrušák PY - 2016 DO - 10.1007/s00153-016-0476-9 UR - https://arxiv.org/abs/1501.02400 ID - 1501.02400 ER -