Some examples of use of transfinite induction in analysis
Dit artikel introduceert een methode die transfiniete inductie over ordinalen gebruikt om het bestaan van extremale objecten in de analyse te bewijzen, zelfs wanneer een reële maat voor maximaliteit niet voor de hand ligt, en past deze toe op het bestaan van een maximaal globaal hyperbolisch ontwikkelingsgebied in de algemene relativiteitstheorie als een alternatief voor de gebruikelijke Zorn's lemma-argumenten.