The distributivity numbers of of P(om) /fin and its square
Saharon Shelah, Otmar Spinas
Abstract
We show that in a model obtained by forcing with a countable support iteration of length omega2 of Mathias forcing h(2), the distributivity number of r.o.(P(omega)/fin)2, is omega1 but h, the one of P(omega)/fin, is omega2.
Create a lesson
Related papers
Pseudofinite abelian groups and asymptotic classes of finite abelian groups
Carlos Cordoba-Caycedo, Dario Garcia
Spectral Theory and Descriptive Combinatorics for Non-Regular Borel pmp Graphs
Cecelia Higgins, Pieter Spaas, Sofia Torelli
The strength of the minimum principle in constructive reverse mathematics
Tatsuji Kawai
Independence of premise for intuitionistic Zermelo-Fraenkel set theory
Patrick Uftring
Condensed Whitehead Problem
Spencer Unger, Jerry Wei
Points and their multiples on curves in powers of simple abelian varieties
David J. Smith