Search

11 Jul 2015: Proof. Suppose f : ω R is a bad R-sequence. There are three mutually exclusive waysin which {a < b} can satisfy f(a) = {a1 < a2} 6R {b1 < b2} = f(b):. ... b1 bn : b1,. ,bn B, b1 C b2 C C bn}.

7 Aug 2015: bx,b′x′] := bb′[x,x′] b′(x′ b)x b(x b′)x′. for all b,b′ B and x,x′ L. ... If B1 andB2 are two L-stable formal models in B then there is a third L-stable formal modelB3 in B containing both B1 and B2, and t1, t2 > 0

9 Jan 2015: attach(tax). a <- (y-x)/x ; b <- (z-y)/y # we compare relative increases. ... Now compare a with b, but pretending a,b independent of each other.

10 Mar 2015: Each vertex w is joined to thevertices wb for each letter b B. ... B(b,r) = {v {0, 1}N : d(b,v) < r}. Its volume is the number of points that it contains:.

7 Oct 2015: B2. B1. We now claim that [x2, z] does not meet Int(B2). ... We also need to show that if B1 and B2 are inO(X̂) and Y B1 B2 then there exists B3 B such that Y B3 and B3 B1 B2.