Publication:4245013

zbMath0927.03074MaRDI QIDQ4245013

Ju Wang, Zhao, Xishun

Publication date: 8 June 1999

zbMATH Keywords

forcing; Chang's model \(C\); hereditarily \(\omega_1\)-ordinal definable sets

Mathematics Subject Classification ID

03E35: Consistency and independence results

03E45: Inner models, including constructibility, ordinal definability, and core models

03C75: Other infinitary logic