עבודתו משנת 1963 יחד עם איזידור זינגר, שבה הם הוכיחו את משפט האינדקס, סללה דרך לענפים חדשים במתמטיקה. יחד עם פרידריך הירצברוך ביסס את המחקר בתורת K הטופולוגית, כלי חדש וחשוב בטופולוגיה אלגברית, שפותח בהשראת עבודתו של אלכסנדר גרותנדיק על הכללת משפט רימן⁻רוך. מתורה זו, שלה יישומים רבים בפיזיקה מתמטית, צמחה אחר⁻כך גם תורת K האלגברית. מתוך ויקיפדיה

מיכאל סלע, מיכאל ספרד, מיכאל סקופין⁻שויסקי, מיכאל סקיבה, מיכאל סרווטוס, מיכאל עלי, מיכאל עמוס, מיכאל עמיר, מיכאל פארשלאגר, מיכאל פודכלבניק