Abstract:A family $\mathcal{A} \subseteq [\omega]^\omega$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal A$ and $A \in \mathcal{A} \setminus \{X_i\}_{i\in n}$, the set $A \setminus \bigcup_{i \in n} X_i$ is infinite, is said to be ideal independent. We prove that an ideal independent family $\mathcal{A}$ is maximal if and only if $\mathcal A$ is $\mathcal J$-completely separable and maximal $\mathcal J$-almost disjoint for a particular ideal $\mathcal J$ on $\omega$. We show that $\mathfrak{u}\leq\mathfrak{s}_{mm}$, where $\mathfrak{s}_{mm}$ is the minimal cardinality of maximal ideal independent family. This, in particular, establishes the independence of $\mathfrak{s}_{mm}$ and $\mathfrak{i}$. Given an arbitrary set $C$ of uncountable cardinals, we show how to simultaneously adjoin via forcing maximal ideal independent families of cardinality $\lambda$ for each $\lambda\in C$, thus establishing the consistency of $C\subseteq \hbox{spec}(\mathfrak{s}_{mm})$. Assuming $\mathsf{CH}$, we construct a maximal ideal independent family, which remains maximal after forcing with any proper, $^\omega\omega$-bounding, $p$-point preserving forcing notion and evaluate $\mathfrak{s}_{mm}$ in several well studied forcing extensions. We also study natural filters associated with ideal independence and introduce an analog of Mrówka spaces for ideal independent families.

On universality of regular realizability problems

Regular realizability problems and regular languages

Regularity of refinable functions with exponentially decaying masks

Many-one reducibility with realizability

Picture fuzzy filters on residuated lattices

Representing Matroids over the Reals is $\exists \mathbb R$-complete

Filters, ideal independence and ideal Mrówka spaces

A Connection between Hyperreals and Topological Filters

Quantitative classical realizability

Generalized low-pass filters and multiresolution analyses

Diagonalizably realizable implies universally realizable

Universal sets for ideals

Uniform Integrability in vector lattices and applications

Realizability Interpretation of PA by Iterated Limiting PCA

Structures de réalisabilité, RAM et ultrafiltre sur N

Universal -algebras of some properties

Solvable and Nilpotent Matroids: Realizability and Irreducible Decomposition of Their Associated Varieties

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective

On universal (in the sense of signs) Fourier series with respect to the Walsh system

Universal properties of spaces of generalized functions

Two problems in the representation theory of reduced enveloping algebras