\(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings (Q971477)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings |
scientific article |
Statements
\(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings (English)
0 references
14 May 2010
0 references
admissible club guessing
0 references
club bounding principle
0 references
generic iteration
0 references
precipitous ideal
0 references
nonstationary ideal
0 references
club filter
0 references
semiproper forcing
0 references
