In dit project worden vooral vragen over goede partiële ordeningen onderzocht. De doelstelling op lange termijn bestaat erin de bewijstheoretische sterkte van Friedmans uitgebreide Kruskalstelling voor eindig vele labels te classificeren. Dit moeilijke probleem is sedert dertig jaar open. Als cruciale idee voor de oplossing willen we het ordeningtype van een maximale lineaire extensie van de Friedmaninbedding (en een heleboel varianten daarvan ) met hulp van een zogenoemde collaberingsfunctie berekenen.