Analyse van de sterkte van de stelling van Hindman in alternatieve formuleringen.

De stelling van Hindman vormt een mijlpaal voor de combinatoriek en bracht vele open problemen voort in de wiskundige logica. Studie van de stelling van Ramsey en Goodstein-reeksen hangt nauw samen met onderzoek naar de stelling van Hindman en biedt nuttige toepasbare methoden. Het project beaamt de computationele kracht van de stelling van Hindman en alternatieve formuleringen te onderzoeken.