There is no indication of a "material" pope in any of the passages above.
So because Kramer doesn't mention it, it doesn't exist? I've already explained where the principles come from Bellarmine's (and others') explanation of the distinction between the designation/election to office (material, by the due representatives of the Church) and the bestowal of papal authority upon the candidate (formal). Election itself does not formally communicate authority (unlike with the principles of "democracy"). So the distinction is not only there but it's common sense. You can argue about whether it applies to a heretical pope, i.e. whether a pope loses the election/designation (material aspect of office) or just the formal authority (as sedeprivationists and Fr. Chazal argue), but the distinction is quite real. Pretty much everything that exists outside of God and the angels has a material aspect and a formal aspect. That lies at the core of Aristotelian/Thomistic ontology.
I hold with the sedeprivationists (and with John of St. Thomas, Cajetan, and Fr. Chazal) that there must be some role for the Church to play, since it doesn't suffice for Fr. Cekada's "Aunt Helen" to wake up one morning and declare a pope to be a non-pope. Straight SVism doesn't have a backstop to prevent this chaotic principles ... as John of St. Thomas explained in developing his approach to the question. In fact, we're seeing the chaos play out right now. Fr. Kramer, Bennyvacantists, and Sedevacantists all hold that Bergoglio is not the Pope. But SSPX, Conciliar conservatives, etc. hold that Bergoglio is the pope. How is this chaos resolved? Who decides? Who has the authority to impose the correct reality on the consciences of all Catholics?