Mathias forcing and ultrafilters

作者：Pawlikowski Janusz^*; Stadnicki Wojciech

来源：Archive for Mathematical Logic, 2016, 55(7-8): 857-865.

DOI：10.1007/s00153-016-0499-2

• Mathias forcing
• Ramsey ultrafilter
• Laver property

We prove that if the Mathias forcing is followed by a forcing with the Laver Property, then any --point is isomorphic via a ground model bijection to the canonical -Ramsey ultrafilter added by the Mathias real. This improves a result of Shelah and Spinas (Trans AMS 325:2023-2047, 1999).

• 出版日期2016-11