G. C. Nelson Logic of Reduced Power Structures. 53-59 1983 48 J. Symb. Log. 1 db/journals/jsyml/jsyml48.html#Nelson83