22 Apr
2003
22 Apr
'03
9:48 p.m.
Hello, I have been re-reading the chapter on intuitionism in Goldblatt's book, specifically the section on Kripke semantics. Am I wrong to say that Kripke semantics is based on the Alexandrov topology generated by the underlying poset? Regards, Bill