Order Theory/The Grothendieck axioms
Jump to navigation
Jump to search
AB3, AB3*, AB5 and AB5* are actually due to von Neumann, but Grothendieck's name stuck.
AB3, AB3*, AB5 and AB5* are actually due to von Neumann, but Grothendieck's name stuck.