Add to ORKGWe produce, relative to a ${\sf ZFC}$ model with a supercompact cardinal, a ${\sf ZFC}$ model of the Proper Forcing Axiom in which the nonstationary ideal on $\omega_1$ is $\Pi_1$-definable in a parameter from $H_{\aleph_2}$
AbstractA slalom is a sequence of finite sets of length ω. Slaloms are ordered by coordinatewise inc...
summary:Shelah's club-guessing and good points are used to show that the two-cardinal diamond princi...
We discuss the question of extending homeomorphism between closed subsets of the Cantor discontinuum...
We show that in extender models there are no generic embeddings with critical point $\omega_1$ that ...
AbstractWe prove that PFA implies for all regular λ⩾ω2, there are stationarily many N⊆H(λ) with size...
AbstractGiven any subset A of ω1 there is a proper partial order which forces that the predicate x∈A...
AbstractWe present a method for obtaining a model of “ZFC+d=ω1 + there exists a strong-Q-sequence (c...
AbstractWe study a normal ideal on Pκ(λ) that is defined in terms of games (of length ω)
AbstractFor X a separable metric space define p(X) to be the smallest cardinality of a subset Z of X...
AbstractThe large cardinal axioms of the title assert, respectively, the existence of a nontrivial e...
$\Sigma^1_3$-absoluteness for ccc forcing means that for any ccc forcing $P$, ${H_{\omega_1}}^V \pre...
AbstractIn the paper A non-implication between fragments of Martin’s Axiom related to a property whi...
Let $\mu < \kappa < \lambda$ be three infinite cardinals, the first two being regular. We show that ...
AbstractWe give a new characterization of λ-supercompact cardinal κ in terms of (κ,λ)-Solovay pairs....
I answer a question of Shelah by showing that if $\k$ is a regular cardinal such that $2^{{<}\k}=\k$...
AbstractA slalom is a sequence of finite sets of length ω. Slaloms are ordered by coordinatewise inc...
summary:Shelah's club-guessing and good points are used to show that the two-cardinal diamond princi...
We discuss the question of extending homeomorphism between closed subsets of the Cantor discontinuum...
We show that in extender models there are no generic embeddings with critical point $\omega_1$ that ...
AbstractWe prove that PFA implies for all regular λ⩾ω2, there are stationarily many N⊆H(λ) with size...
AbstractGiven any subset A of ω1 there is a proper partial order which forces that the predicate x∈A...
AbstractWe present a method for obtaining a model of “ZFC+d=ω1 + there exists a strong-Q-sequence (c...
AbstractWe study a normal ideal on Pκ(λ) that is defined in terms of games (of length ω)
AbstractFor X a separable metric space define p(X) to be the smallest cardinality of a subset Z of X...
AbstractThe large cardinal axioms of the title assert, respectively, the existence of a nontrivial e...
$\Sigma^1_3$-absoluteness for ccc forcing means that for any ccc forcing $P$, ${H_{\omega_1}}^V \pre...
AbstractIn the paper A non-implication between fragments of Martin’s Axiom related to a property whi...
Let $\mu < \kappa < \lambda$ be three infinite cardinals, the first two being regular. We show that ...
AbstractWe give a new characterization of λ-supercompact cardinal κ in terms of (κ,λ)-Solovay pairs....
I answer a question of Shelah by showing that if $\k$ is a regular cardinal such that $2^{{<}\k}=\k$...
AbstractA slalom is a sequence of finite sets of length ω. Slaloms are ordered by coordinatewise inc...
summary:Shelah's club-guessing and good points are used to show that the two-cardinal diamond princi...
We discuss the question of extending homeomorphism between closed subsets of the Cantor discontinuum...