Almost disjoint refinements and mixing reals

DOI10.4064/FM429-7-2017zbMATH Open1459.03075arXiv1510.05699OpenAlexW2964094215MaRDI QIDQ4565101FDOQ4565101

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

Publication date: 7 June 2018

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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$.

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

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

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)

Cites Work

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

Cited In (8)

• Discontinuous extensions and almost resolvability
• Mad families, P+(I)-ideals and ideal convergence
• Towers in filters, cardinal invariants, and Luzin type families
• Title not available (Why is that?)
• On Borel semifilters
• Filter-Laver measurability
• WAYS OF DESTRUCTION
• Densities for sets of natural numbers vanishing on a given family

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)