5 Dec
1992
5 Dec
'92
1:23 a.m.
From: jds@rademacher.math.upenn.edu so how did Chevally get in the act or is it not Claude?
It is Claude: he used this condition in his seminar on descent in 1964. The fact that it is also a big thing in logic nowadays - it provides computer scientists with quantifiers - perhaps suggests that Lawvere (and some German philosophers) might be right about the unity of the worls. ==============================================================================