Add to ORKGWe study the consistency strength of Lebesgue measurability for $\Sigma^1_3$ sets over a weak set theory in a completely choiceless context. We establish a result analogous to the Solovay-Shelah theorem
AbstractWe show that, relative to the existence of an inaccessible cardinal, it is consistent that t...
AbstractDenote βX − X by X∗. Define properties P0 and P1 of a space X by Pi (i<2): if D ⊆ X∗ is coun...
AbstractWe prove that if S is an ω-model of weak weak König’s lemma and A∈S,A⊆ω, is incomputable, th...
We study the consistency strength of Lebesgue measurability for $\Sigma^1_3$ sets over a weak set th...
AbstractWe consider axioms asserting that Lebesgue measure on the real line may be extended to measu...
We let: ZF = the Zermelo-Fraenkel axioms of set theory without the Axiom of Choice„(AC) . ZFC = ZF ...
summary:In this note, we prove that the countable compactness of $\lbrace 0,1\rbrace ^{{\mathbb{R}}}...
We define a weak iterability notion that is sufficient for a number of arguments concerning Σ_1-defi...
AbstractSolovay’s random-real forcing [R.M. Solovay, Real-valued measurable cardinals, in: Axiomatic...
Abstract. We prove that o() = is sucient to construct a model V [C] in which is measurable and C...
We use core model theory to obtain the following lower bounds to the consistency strength for the fa...
We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating numbe...
AbstractThe paper investigates inaccessible set axioms and their consistency strength in constructiv...
We consider two-player games of perfect information of length some cardinal $\kappa$. It is well-kno...
Ulam proved that there cannot exist a probability measure on the reals for which every set is measur...
AbstractWe show that, relative to the existence of an inaccessible cardinal, it is consistent that t...
AbstractDenote βX − X by X∗. Define properties P0 and P1 of a space X by Pi (i<2): if D ⊆ X∗ is coun...
AbstractWe prove that if S is an ω-model of weak weak König’s lemma and A∈S,A⊆ω, is incomputable, th...
We study the consistency strength of Lebesgue measurability for $\Sigma^1_3$ sets over a weak set th...
AbstractWe consider axioms asserting that Lebesgue measure on the real line may be extended to measu...
We let: ZF = the Zermelo-Fraenkel axioms of set theory without the Axiom of Choice„(AC) . ZFC = ZF ...
summary:In this note, we prove that the countable compactness of $\lbrace 0,1\rbrace ^{{\mathbb{R}}}...
We define a weak iterability notion that is sufficient for a number of arguments concerning Σ_1-defi...
AbstractSolovay’s random-real forcing [R.M. Solovay, Real-valued measurable cardinals, in: Axiomatic...
Abstract. We prove that o() = is sucient to construct a model V [C] in which is measurable and C...
We use core model theory to obtain the following lower bounds to the consistency strength for the fa...
We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating numbe...
AbstractThe paper investigates inaccessible set axioms and their consistency strength in constructiv...
We consider two-player games of perfect information of length some cardinal $\kappa$. It is well-kno...
Ulam proved that there cannot exist a probability measure on the reals for which every set is measur...
AbstractWe show that, relative to the existence of an inaccessible cardinal, it is consistent that t...
AbstractDenote βX − X by X∗. Define properties P0 and P1 of a space X by Pi (i<2): if D ⊆ X∗ is coun...
AbstractWe prove that if S is an ω-model of weak weak König’s lemma and A∈S,A⊆ω, is incomputable, th...