Support. It's hard to imagine someone looking for information on Pope John XXI searching for Peter of Spain-unless they were interested in his work as a logician (whether or not he actually was that person). On that basis, it seems reasonable to have Peter of Spain focus on the logician, with hatnotes to the pope and Peter Ferrandi.