2005 Changes and additions for the Consequences of the Axiom of Choice
Project

Change in February, 2005:
Add the word "finite" to form [14 CM] so that it reads
[14 CM] Kolany's Patching Lemma. Assume that
$\{A_j : j\in J\}$ is a family of nonempty sets and $\{ \Cal F_j :
j\in J\}$ is a family of finite nonempty sets of functions such that
for every $j\in J$ and every $f\in \Cal F_j$, dom $f = A_j$. Assume
that for every finite $J_0 \subseteq J$ there is a function $F_0$ such
that for all $j\in J_0$, $F_0\mid A_j \in \Cal F_j$, then there exists
a function $F$ such that for all $j\in J$, $F\mid A_j \in \Cal F_j$.
Kolany [1999].

Changes in May 2005
Form 239 becomes form [1 DK]. That is, delete form 239 and add
 [1 DK] For all $X$, if $X\neq\emptyset$, then there is a
binary operation on $X$ that makes $X$ a group. {Hickman}
[1976], Rubin, H. and Rubin, J [1985 p.110, AL14].
 In rfb1.tex delete all lines referring to form 239