Analytic and coanalytic families of almost disjoint functions. (English) Zbl 1160.03029

Kastermans, Bart; Steprāns, Juris; Zhang, Yi

J. Symb. Log. 73, No. 4, 1158-1172 (2008).

A 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

Keywords:

eventually different family; axiom of constructibility

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)