23 May
2007
23 May
'07
7:47 a.m.
There clearly is a connection between hyperdoctrines and cylindric algebras. Does anybody knows work that relates the two? Or that makes use of a result from one area to prove something in the other? I would be greatful for any reference or comment. Best wishes, Alexander