First, his explanation of monarchical responsibly as owners and politicians’ irresponsibility as renters, which, at the opposite end of the scale is no different from that of the populace toward the commons. and more so.
And second, Hoppe’s formalism of the logic of property that by producing logical commensurability regardless of context and scale, reduced all social science to property (what I call demonstrated interests), but he did so under the research program (auspices) of limiting the definition of property (demonstrated interests) to the intersubjectively verifiable, meaning material things.
Third, and in my opinion, most importantly, this emphasis Hoppe’s work and in the broader Rothbardian program, effectively formalized the foundations of natural law (of cooperation) for the first time converting it from the philosophical to the empirical to the operational – which is a term that the neither rather Kantian germanic framework Hoppe relies upon, or present philosophical libertarians are aware of, but should be since operations (actions), and construction (survival from falsification of) from first principles (irreducible causality, laws of nature), are the end point of scientific discoverty, producing a constructive logic that can falsify (and indirectly justify) any and all claims within a domain.