P-points in Qmax models

doi:10.1016/S0168-0072(02)00036-2

Annals of Pure and Applied Logic

Volume 119, Issues 1–3, 15 February 2003, Pages 121-190

https://doi.org/10.1016/S0168-0072(02)00036-2 Get rights and content

Under an Elsevier user license

open archive

Abstract

We show how to get canonical models from $AD^{L(R)}$ in which the nonstationary ideal on ω₁ is ω₁ dense and there is no P-point (or there is a unique P-point).

MSC

primary 03E35

secondary 03E55

Keywords

Forcing

Consistency

Dense ideal

Cited by (0)

¹: The first author is supported by CNSF Grant 19925102 and 19931020.

²: The second author is supported by NSF, USA, Grant.