The relative consistency of g<cf(Sym(omega))

arxiv: math/0009077 · v1 · submitted 2000-09-07 · 🧮 math.LO

Heike Mildenberger , Saharon Shelah This is my paper

classification 🧮 math.LO

keywords alephconsistencyomegaconstructforcingmodelproverelative

0 comments

read the original abstract

We prove the consistency result from the title. By forcing we construct a model of g=aleph_1, b=cf(Sym(omega))=aleph_2.

This paper has not been read by Pith yet.