Weak measure extension axioms
type: Item
instance of: scholarly article
title: Weak measure extension axioms
zbMATH Open document ID: 0954.03054
DOI: 10.1016/S0166-8641(97)00147-8
author: Joan E. Hart
author: Kenneth Kunen
published in: Topology and its Applications
publication date: 2001-02-05T00:00:00Z
review text: Let \(\mu\) be a~measure on a~set~\(X\) and let \(\theta\) be any cardinal. ME\(_\theta(X,\mu)\)~denotes the statement: Whenever \(\mathcal E\)~is a~family of~\(\leq\theta\) subsets of~\(X\), there is a~measure~\(\nu\) which extends~\(\mu\) such that each set in~\(\mathcal E\) is \(\nu\)-measurable. ME\(_\theta\)~denotes this assertion for \(X=[0,1]\) and \(\mu\) being the Lebesgue measure. The axioms~ME\(_\theta\) are weak versions of real-valued measurability which for small~\(\theta\) do not involve large cardinals. The consistency of these axioms for small~\(\theta\) are given by a result of \textit{T. Carlson} [``Extending Lebesgue measure by infinitely many sets'', Pac. J. Math. 115, No. 1, 33-45 (1984; Zbl 0582.28004)] by which ME\(_\theta\)~holds in the generic extension by adding at least \(\theta^+\) random reals. On the other hand the assumption of ME\(_\theta+{\mathfrak c\leq\theta}\) is equiconsistent with a~weakly compact cardinal. The authors discuss the axioms which are sufficient to prove various combinatorial results. In particular, ME\(_{\omega_1}\) implies the existence of c.c.c.\ spaces \(X\) and~\(Y\) such that \(X\times Y\) is not c.c.c., the existence of strong \(S\)- and \(L\)-spaces, and the existence of an uncountable \(\aleph_1\)-entangled set. These results are obtained using an absoluteness theorem which says that under~ME\(_\theta\), if a~statement~\(\varphi\) about~\(\theta\) of a~certain simple logical form is true in a random real extension, then \(\varphi\)~is true in~\(V\). Using different arguments than in Fremlin's proof [\textit{D. H. Fremlin}, ``Real-valued measurable cardinals'', Israel Math. Conf. Proc.~6, 151-304 (1993; Zbl 0839.03038)] that a~real-valued measurable cardinal refutes the existence of Ramsey ultrafilters, the authors prove that ME\(_{\omega_1}\)~implies that there are no Ramsey ultrafilters, and the same argument they use to prove that in the generic extension by adding at least \(\omega_2\) random reals ther…
reviewed by: Miroslav Repický
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 28A05
Mathematics Subject Classification ID: 54A35
Mathematics Subject Classification ID: 03E55
Mathematics Subject Classification ID: 54D99
zbMATH DE Number: 1307986
zbMATH Keywords: measure
zbMATH Keywords: random real
zbMATH Keywords: ultrafilter
zbMATH Keywords: S-space
zbMATH Keywords: L-space
zbMATH Keywords: absoluteness theorem
zbMATH Keywords: entangled set
Wikidata QID: Q114656210
MaRDI profile type: Publication
cites work: Q3682518
cites work: Ultrafilters on a countable set
cites work: Extending Lebesgue measure by infinitely many sets
cites work: Model theory.
cites work: P-Points in Random Universes
cites work: Some remarks on the theory of graphs
cites work: Q3675176
cites work: Q4848572
cites work: Chain conditions and products
cites work: Q3941628
cites work: Q5631100
cites work: Q5654043
cites work: Some points in βN
cites work: Set theory. An introduction to independence proofs
cites work: Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing
cites work: Q3715106
cites work: There are no Q-Points in Laver's Model for the Borel Conjecture
cites work: On discrete Borel spaces and projective sets
cites work: Adding a random or a Cohen real: topological consequences and the effect on Martin's axiom
cites work: Homogeneity problems in the theory of Cech compactifications
cites work: Q5626665
cites work: Q3481743
cites work: Q3706144
cites work: Partition Problems in Topology
cites work: Adding a Cohen real adds an entangled linear order
description: scientific article; zbMATH DE number 1307986