Filters and Ideal Independence

arXiv2206.14019MaRDI QIDQ6403399FDOQ6403399

Corey Bacal Switzer, Jonathan Cancino-Manríquez, Vera Fischer

Publication date: 28 June 2022

Abstract: A family

m a t h s c r I s u b s e t e q [o m e g a]^{o} m e g a

such that for all finite

{X_{i}}_{i i n n} s u b s e t e q m a t h c a l I

and

A i n m a t h s c r I s e t m i n u s {X_{i}}_{i i n n}

, the set

is infinite, is said to be ideal independent. An ideal independent family which is maximal under inclusion is said to be a maximal ideal independent family and the least cardinality of such family is denoted

m a t h f r a k s_{m m}

. We show that

m a t h f r a k u l e q m a t h f r a k s_{m m}

, which in particular establishes the independence of

m a t h f r a k s_{m m}

and

m a t h f r a k i

. Given an arbitrary set

C

of uncountable cardinals, we show how to simultaneously adjoin via forcing maximal ideal independent families of cardinality

l a m b d a

for each

l a m b d a i n C

, thus establishing the consistency of

C s u b s e t e q h b o x s p e c (m a t h f r a k s_{m m})

. Assuming

m a t h s f C H

, we construct a maximal ideal independent family, which remains maximal after forcing with any proper,

^{o} m e g a o m e g a

-bounding,

p

-point preserving forcing notion and evaluate

m a t h f r a k s_{m m}

in several well studied forcing extensions.

Mathematics Subject Classification ID

Consistency and independence results (03E35) Cardinal characteristics of the continuum (03E17)

This page was built for publication: Filters and Ideal Independence

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