2 research outputs found
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions
No full textImpredicativity and turn of the century foundations of mathematics : presupposition in Poincare and Russell
Get PDFThesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1993.Includes bibliographical references (leaves 145-158).by Joseph Romeo William Michael PicardPh.D
