View - School of Informatics - University of Edinburgh
View - School of Informatics - University of Edinburgh
View - School of Informatics - University of Edinburgh
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
5 Conclusions<br />
p ZF+AC ZF+DC+BP<br />
p = ∞ τ || ||∞ seq(τw ∞)<br />
τ = ∞<br />
seq(τ w∗<br />
∞ ) = τ ∞ τ || ||∞ τ = ∞ seq(τ w ∞) = seq(τ w∗<br />
∞ ) = τ ∞<br />
1