-
Fun fixed-point theorems in Domain Theory.
I had forgotten that if a lattice has all meets, then it
has all joins and vice-versa.
Also talking to Martin revealed a theorem of Savitch, 1970
that asserts NPSPACE = PSPACE via a slick proof.
I think that perhaps I may have seen it when Rudich
taught Complexity Theory.
I had forgotten that if a lattice has all meets, then it
has all joins and vice-versa.
Also talking to Martin revealed a theorem of Savitch, 1970
that asserts NPSPACE = PSPACE via a slick proof.
I think that perhaps I may have seen it when Rudich
taught Complexity Theory.