Studies in Logic and The Foundations of Mathematics Vol-88 - Szabo M.E (New York North Holland, 1978)