Publication:4742784
From MaRDI portal
zbMath0506.04003MaRDI QIDQ4742784
Publication date: 1982
order types; proper forcing; incomparable; incompatible; stationary sets; diamonds; Aronszajn-trees; real types; Specker-type
03E35: Consistency and independence results
03E50: Continuum hypothesis and Martin's axiom
03E05: Other combinatorial set theory
Related Items
Hypergraphs With Finitely Many Isomorphism Subtypes, Countable dense homogeneous spaces under Martin's axiom, \(\omega_1\) and \(-\omega_1\) may be the only minimal uncountable linear orders, Unnamed Item