Attemps for generalising the recursive path orderings. Unpublished lecture notes (1980)

by Sam Kamin, Jean-Jacques Levy
Venue:Kun80] Kenneth Kunen. Set Theory: An Introduction to Independence Proofs, volume 102 of Studies in Logic and the Foundations of Mathematics