Ultrafilters with property ( {s})

DOI10.1090/S0002-9939-09-09919-5zbMATH Open1182.03079arXivmath/0310438MaRDI QIDQ3395585FDOQ3395585

Authors: Arnold W. Miller 

Publication date: 11 September 2009

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Abstract: A set X which is a subset of the Cantor set has property (s) (Marczewski (Spzilrajn)) iff for every perfect set P there exists a perfect set Q contained in P such that Q is a subset of X or Q is disjoint from X. Suppose U is a nonprincipal ultrafilter on omega. It is not difficult to see that if U is preserved by Sacks forcing, i.e., it generates an ultrafilter in the generic extension after forcing with the partial order of perfect sets, then U has property (s) in the ground model. It is known that selective ultrafilters or even P-points are preserved by Sacks forcing. On the other hand (answering a question raised by Hrusak) we show that assuming CH (or more generally MA for ctble posets) there exists an ultrafilter U with property (s) such that U does not generate an ultrafilter in any extension which adds a new subset of omega. http://www.math.wisc.edu/~miller/res/index.html miller@math.wisc.edu

Full work available at URL: https://arxiv.org/abs/math/0310438

Recommendations

• An ultrafilter with property 𝜎
• Ultrafilters and properties related to compactness
• scientific article; zbMATH DE number 3028341
• Some properties of open ultrafilters
• Some properties of ultrafilters related to their use as generalized elements
• Some ultrafilter properties connected with extension constructions
• Ultrafilters and mappings
• L-ultrafilters, L-sets and LC-property
• Ultrafilters on ω
• scientific article; zbMATH DE number 3254655

zbMATH Keywords

ultrafilterSacks forcingContinuum HypothesisMarczewski property

Mathematics Subject Classification ID

Consistency and independence results (03E35) Cardinal characteristics of the continuum (03E17) Continuum hypothesis and Martin's axiom (03E50)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Independent sets in topological algebras
• Title not available (Why is that?)
• Iterated perfect-set forcing
• Title not available (Why is that?)
• A Partition Theorem For Perfect Sets
• Between P-points and nowhere dense ultrafilters

Cited In (9)

• Ultrafilters of character ω₁
• Sacks forcing, Laver forcing, and Martin's axiom
• Selective ultrafilters on FIN
• An ultrafilter with property 𝜎
• Kurepa trees and the failure of the Galvin property
• Preserving P-points in definable forcing
• HL ideals and Sacks indestructible ultrafilters
• Preserved under Sacks forcing again?
• P-filters and the perfect set property

This page was built for publication: Ultrafilters with property $( {s})$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3395585)