[Banach] Abstract of a paper by Piotr Koszmider and Saharon Shelah