15 Nov
1994
15 Nov
'94
4:05 p.m.
Could someone please tell me where the term "Grothendieck universes" comes from? Some books connect Grothendieck's name with this particular approach to avoid set-theoretical difficulties, others don't. What is the current status on these foundational matters anyway? Has anything else emerged besides MacLanes one universe approach, or Feferman's use of reflection principles? best regards, J"urgen -- J"urgen Koslowski | If I don't see you no more in this world | I meet you in the next world koslowj@math.ksu.edu | and don't be late! nhabkosl@rrzn-user.uni-hannover.de | Jimi Hendrix (Voodoo Child)