$\Sigma^1_3$-absoluteness for ccc forcing means that for any ccc forcing $P$, ${H_{\omega_1}}^V \prec_{\Sigma_2}{H_{\omega_1}}^{V^P}$. "$\omega_1$ inaccessible to reals" means that for any real $r$, ${\omega_1}^{L[r]}<\omega_1$. To measure the exact consistency strength of "$\Sigma^1_3$-absoluteness for ccc forcing and $\omega_1$ is inaccessible to reals", we introduce a weak version of a weakly compact cardinal, namely, a (lightface) $\Sigma^1_2$-indescribable cardinal; $\kappa$ has this property exactly if it is inaccessible and $H_\kappa \prec_{\Sigma_2} H_{\kappa^+}$
The two parallel concepts of "small" sets of the real line are meagre sets and null sets. Those are ...
AbstractIn [5], Erdös and Hajnal formulate the following proposition, which we shall refer to as Φ: ...
In the current dissertation we work in set theory and we study both various large cardinal hierarchi...
AbstractI use generic embeddings induced by generic normal measures on Pκ(λ) that can be forced to e...
We investigate the consistency strength of the forcing axiom for Σ13 formulas, for various classes o...
We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating numbe...
AbstractIn recent work, the second author extended combinatorial principles due to Jech and Magidor ...
AbstractThe large cardinal axioms of the title assert, respectively, the existence of a nontrivial e...
In the following κ and λ are arbitrary regular uncountable cardinals. What was known? Theorem 1 (Bal...
We produce, relative to a ${\sf ZFC}$ model with a supercompact cardinal, a ${\sf ZFC}$ model of the...
We introduce bounded category forcing axioms for well-behaved classes Γ. These are strong forms of b...
AbstractGiven any subset A of ω1 there is a proper partial order which forces that the predicate x∈A...
AbstractWe say that κ is μ-hypermeasurable (or μ-strong) for a cardinal μ≥κ+ if there is an embeddin...
We show that in extender models there are no generic embeddings with critical point $\omega_1$ that ...
Let $\mu < \kappa < \lambda$ be three infinite cardinals, the first two being regular. We show that ...
The two parallel concepts of "small" sets of the real line are meagre sets and null sets. Those are ...
AbstractIn [5], Erdös and Hajnal formulate the following proposition, which we shall refer to as Φ: ...
In the current dissertation we work in set theory and we study both various large cardinal hierarchi...
AbstractI use generic embeddings induced by generic normal measures on Pκ(λ) that can be forced to e...
We investigate the consistency strength of the forcing axiom for Σ13 formulas, for various classes o...
We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating numbe...
AbstractIn recent work, the second author extended combinatorial principles due to Jech and Magidor ...
AbstractThe large cardinal axioms of the title assert, respectively, the existence of a nontrivial e...
In the following κ and λ are arbitrary regular uncountable cardinals. What was known? Theorem 1 (Bal...
We produce, relative to a ${\sf ZFC}$ model with a supercompact cardinal, a ${\sf ZFC}$ model of the...
We introduce bounded category forcing axioms for well-behaved classes Γ. These are strong forms of b...
AbstractGiven any subset A of ω1 there is a proper partial order which forces that the predicate x∈A...
AbstractWe say that κ is μ-hypermeasurable (or μ-strong) for a cardinal μ≥κ+ if there is an embeddin...
We show that in extender models there are no generic embeddings with critical point $\omega_1$ that ...
Let $\mu < \kappa < \lambda$ be three infinite cardinals, the first two being regular. We show that ...
The two parallel concepts of "small" sets of the real line are meagre sets and null sets. Those are ...
AbstractIn [5], Erdös and Hajnal formulate the following proposition, which we shall refer to as Φ: ...
In the current dissertation we work in set theory and we study both various large cardinal hierarchi...