Analytic and coanalytic families of almost disjoint functions.

*(English)*Zbl 1160.03029A family of functions \(\mathfrak I\subseteq{}^\aleph\aleph\) is said to be eventually different if for any two \(f, g \in \mathfrak I\), there is some \(k\) such that \(f(n)\neq g(n)\) for \(n\geq k\). A maximal eventually different family is one which is maximal with respect to this property. The question “Is there an analytic (or even closed) maximal, eventually different family?” remains open. In this paper, the authors give a satisfactory answer to the \(\sigma\)-version of this question. An eventually different family of functions is strongly maximal if and only if for any countable \(\mathfrak R\subseteq{}^\aleph\aleph\), no member of which is finitely covered by \(\mathfrak I\), there is \(f\in\mathfrak I\) such that for all \(h\in\mathfrak R\) there are infinitely many integers \(k\) such that \(f(k) = h(k)\). It is proved that 1) there is no analytic strongly maximal eventually different family, 2) the axiom of constructibility implies the existence of a coanalytic strongly maximal eventually different family.

Reviewer: T. Thrivikraman (Nileshwar)

##### MSC:

03E15 | Descriptive set theory |

03E45 | Inner models, including constructibility, ordinal definability, and core models |

PDF
BibTeX
XML
Cite

\textit{B. Kastermans} et al., J. Symb. Log. 73, No. 4, 1158--1172 (2008; Zbl 1160.03029)

Full Text:
DOI

**OpenURL**

##### References:

[1] | DOI: 10.1007/s001530050044 · Zbl 0852.04004 |

[2] | Recursion-theoretic hierarchies (1978) · Zbl 0371.02017 |

[3] | Constructibility (1984) · Zbl 0542.03029 |

[4] | Questions and Answers in General Topology 18 pp 123– (2000) |

[5] | Fundamenta Mathematicae 150 pp 55– (1996) · Zbl 0933.00003 |

[6] | Classical descriptive set theory 156 (1995) · Zbl 0819.04002 |

[7] | DOI: 10.1016/0168-0072(89)90013-4 · Zbl 0667.03037 |

[8] | DOI: 10.1016/S0168-0072(98)00051-7 · Zbl 0932.03060 |

[9] | DOI: 10.1007/3-7643-7692-9_6 |

[10] | DOI: 10.1016/0003-4843(77)90006-7 · Zbl 0369.02041 |

[11] | Set theory. An introduction to independence proofs (1980) · Zbl 0443.03021 |

[12] | Studia Mathematica 67 pp 13– (1980) |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.