A MAD (maximal almost disjoint) family is an infinite subset of the infinite subsets of ω = 0,1,2,... such that any two elements of intersect in a finite set and every infinite subset of ω meets some element of in an infinite set. A Q-set is an uncountable set of reals such that every subset is a relative -set. It is shown that it is relatively consistent with ZFC that there exists a MAD family which is also a Q-set in the topology it inherits as a subset of .
We study categoricity in power for reduced models of first order logic without equality.
A function of two variables F(x,y) is universal if for every function G(x,y) there exist functions h(x) and k(y) such that G(x,y) = F(h(x),k(y)) for all x,y. Sierpiński showed that assuming the Continuum Hypothesis there exists a Borel function F(x,y) which is universal. Assuming Martin's Axiom there is a universal function of Baire class 2. A universal function cannot be of Baire class 1. Here we show that it is consistent that for each α with 2 ≤ α < ω₁ there...
Page 1