Model teorisi alanında önemli bir gelişme yaşandı. Chubb, Miller ve Solomon isimli matematikçilerin daha önce ortaya attığı bir varsayım, yeni bir çalışmayla doğrulandı.
Araştırma, matematiksel teorilerin 'göreceli karar verilebilirlik' adı verilen özelliğini inceliyor. Bu özellik, bir teorinin herhangi bir modeli için, o modelin temel diyagramının hesaplanabilir olup olmadığını belirliyor. Basitçe ifade etmek gerekirse, teorinin atomik yapısından yola çıkarak daha kapsamlı özelliklerinin türetilebilip türetilemeyeceği sorusuna yanıt arıyor.
Çalışmanın temel bulgusu, tamamlanmış teoriler için göreceli karar verilebilirliğin tam bir karakterizasyonunu sunması. Buna göre, tamamlanmış bir teori ancak ve ancak belirli bir biçimde muhafazakar model-tam genişletmeye sahipse göreceli karar verilebilir özellik taşıyor.
Araştırmacılar aynı zamanda bu karakterizasyonun eksik teoriler için geçerli olmadığını da gösterdiler. Bu sonuç, matematik dünyasında tamamlanmış ve eksik teoriler arasındaki temel ayrımı bir kez daha vurguluyor.
Çalışma, model teorisi ve hesaplanabilirlik teorisi arasındaki köprüyü güçlendiren önemli bir adım olarak değerlendiriliyor.