Nagrodzone przez Fundację prace dotyczą logicznych podstaw matematyki, a wiążą się z klasyfikacją modeli teorii pierwszego rzędu. Ich głównym przedmiotem jest hipoteza Vaughta, odnosząca się do liczby modeli przeliczalnych teorii matematycznej. Współczesna teoria modeli jest ściśle związana z takimi klasycznymi działami matematyki, jak algebra i analiza. Decydującą rolę w powstaniu tej teorii w latach 50. ubiegłego wieku odegrał jeden z najwybitniejszych logików na świecie, Polak Alfred Tarski.
Wyniki prac prof. Newelskiego, jak również rozwinięte przez niego w ich trakcie narzędzia, pozwalają lepiej zrozumieć naturę pewnych podstawowych struktur występujących w matematyce, takich jak np. grupy, ciała i związane z nimi geometrie. Stanowią istotny postęp na drodze do dowodu hipotezy Vaughta.