Almost disjoint refinements and mixing reals

DOI10.4064/FM429-7-2017MaRDI QIDQ4565101zbMATH OpenOpenAlexFDO

Authors Barnabás Farkas, Yurii Khomskii, Zoltán Vidnyánszky

Publication date 7 June 2018

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

meager idealalmost disjoint familyanalytic idealalmost disjoint refinementcoanalytic idealMansfield-Solovay theoremmixing real

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Descriptive set theory (03E15) Consistency and independence results (03E35)

Abstract: We investigate families of subsets of $omega$ with almost disjoint refinements in the classical case as well as with respect to given ideals on $omega$. More precisely, we study the following topics and questions: 1) Examples of projective ideals. 2) We prove the following generalization of a result due to J. Brendle: If $VsubseteqW$ are transitive models, $omeg{a}_1^{W}subseteqV$, $mathcalP(omega)capVot=mathcalP(omega)capW$, and $mathcalI$ is an analytic or coanalytic ideal coded in $V$, then there is an $mathcalI$-almost disjoint refinement ($mathcalI$-ADR) of $mathcal{I}^{+}capV$ in $W$, that is, a family $A_X:Xinmathcal{I}^{+}capVinW$ such that (i) $A_{X}subseteqX$, $A_{X}inmathcal{I}^{+}$ for every $X$ and (ii) $A_{X}cap{A}_{Y}inmathcalI$ for every distinct $X$ and $Y$. 3) The existence of perfect $mathcalI$-almost disjoint ($mathcalI$-AD) families, and the existence of a "nice" ideal $mathcalI$ on $omega$ with the property: Every $mathcalI$-AD family is countable but $mathcalI$ is nowhere maximal. 4) The existence of $(mathcalI,extFin)$-almost disjoint refinements of families of $mathcalI$-positive sets in the case of everywhere meager (e.g. analytic or coanalytic) ideals. We prove a positive result under Martin's Axiom. 5) Connections between classical properties of forcing notions and adding mixing reals (and mixing injections), that is, a (one-to-one) function $f:omegaoomega$ such that $|f[X]capY|=omega$ for every $X,Yin[omega{]}^{o}megacapV$.

Recommendations

• scientific article; zbMATH DE number 1080118
• The size of maximal almost disjoint families
• scientific article; zbMATH DE number 3900756
• Maximal almost disjoint families, determinacy, and forcing
• Definability and almost disjoint families

Cites work

• scientific article; zbMATH DE number 5566503 (Why is no real title available?)
• scientific article; zbMATH DE number 3929927 (Why is no real title available?)
• scientific article; zbMATH DE number 4078218 (Why is no real title available?)
• scientific article; zbMATH DE number 3494419 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 787541 (Why is no real title available?)
• $F_σ$-ideals and $ω_1 ω^*_1$-gaps in the Boolean algebras Ρ(ω)/I.
• Almost Disjoint Refinement of Families of Subsets of N
• Analytic ideals and their applications
• Analytic quotients: theory of liftings for quotients over analytic ideals on the integers
• Combinatorial Cardinal Characteristics of the Continuum
• Combinatorial Set Theory
• Combinatorics of filters and ideals
• Complexity of reals in inner models of set theory
• Families of sets and functions
• Nagata's conjecture and countably compact hulls in generic extensions
• On Borel ideals
• On analytic filters and prefilters
• On sets of integers containing k elements in arithmetic progression
• Proper forcing
• Quotients of Boolean algebras and regular subalgebras
• Refinement Properties and Extensions of Filters in Boolean Algebras
• Set Theory
• The relation of rapid ultrafilters and \(Q\)-points to van der Waerden ideal

Cited in

(8)

• WAYS OF DESTRUCTION
• On Borel semifilters
• Filter-Laver measurability
• Discontinuous extensions and almost resolvability
• Towers in filters, cardinal invariants, and Luzin type families
• Mad families, P+(I)-ideals and ideal convergence
• Densities for sets of natural numbers vanishing on a given family
• scientific article; zbMATH DE number 1080118 (Why is no real title available?)

This page was built for publication: Almost disjoint refinements and mixing reals

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