Thanks for the link, Michael. I wonder how far the link goes the other way? One of these days, I want to try to sort out the major results and foundations in

Thanks for the link, Michael. I wonder how far the link goes the other way? One of these days, I want to try to sort out the major results and foundations in the major topics of physics in a big map, showing what has been shown to follow from what. Like the complexity zoology inclusion diagrams (http://www.math.ucdavis.edu/~greg/zoology/diagram.xml http://www.math.ucdavis.edu/~greg/zoology/diagram.xml), only more general. I have the suspicion that a lot of the proofs of physics are in fact in some important way circular, but based on my first attempts I think I need to a computer to help me track all the logical dependencies.