2 THOMAS JECH AND KAREL PRIKRY
The method of almost disjoint functions is a refinement of the method of
almost disjoint transversals studied by combinatorial set theorists (e.g. ).
Given an ideal I over an uncountable set, we investigate the number of par-
tial ordinal functions (modulo equality almost everywhere) with prescribed
range of values. We evaluate sizes of families of partial functions. Among
others we obtain results on sizes of almost disjoint families of sets which
are not in the ideal. These results generalize some earlier results on almost
disjoint families of uncountable sets, and give a new insight into the well
known open problem whether the closed unbounded filter on c o can be ^ -sat-
Following Silver's work  on the singular cardinals problem, Baumgart-
ner, Jensen and Prikry found an elementary proof of Silver's theorem (cf. ),
using the method of almost disjoint transversals. Subsequently, Galvin and
Hajnal  obtained further results on the singular cardinals problem, using a
generalization of the elementary proof of Silver's theorem. We further refine
the method of Galvin and Hajnal, to give elementary proofs of our results on
the generalized continuum hypothesis and the singular cardinals problem.
As a byproduct of our method we obtain some consequences of existence of
nonregular ultrafilters for cardinal exponentiation.
Many of our results are proved under the assumption that there exists a
precipitous ideal. We have arrived at the notion of precipitous ideal as we
tried to extend the result of Galvin and Hajnal for singular cardinals of the
kind ^ = a. In view of equiconsistency of precipitous ideals and measurable
cardinals (cf. ) it appears that a precipitous ideal over GO is the exact
counterpart of measurability, suitable for c o .
The introductory section 1 contains the relevant definitions. In section
2 we introduce the method of generic ultrapowers and prove some basic lemmas.
Section 3 contains a number of results in which saturation of ideals over
a regular uncountable cardinal K is used to evaluate 2 . Among the theorems