> > I fully agree that mathboxes material is not that often looked at, but > it's not hidden in any way either. >
The problem is not that it is hidden, the problem is that it is not ordered and therefore it's harder to find. Beyond logic and the elementary theorems of set theory people use the headings as a clue to find the theorems they need. Moreover their may be several different formalization of the same concept. One must choose one. Someone suggested using Bourbaki as a guide for ordering the definitions and theories related to structures. I think this is a good idea. It is the longest and most comprehensive treatise on structures. -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/8b9b5890-722a-4e53-a34d-1313f06be16c%40googlegroups.com.
