Egy reláció-struktúrát homogénnek nevezünk, ha véges parciális izomorfizmusai kiterjeszthetők automorfizmusokká. Az automorfizmuscsoportok természetes módon topologikus csoportokká tehetők, és bizonyos topologikus tulajdonságaik kapcsolatba hozhatók véges kombinatorikai állitásokkal. E kérdéskör vizsgálata jelenleg is igen aktív, sok - a hallgató ízléséhez igazítható - konkrét kérdés tanulmányozható. E kérdések általában logikai indíttatásúak; tisztázásukhoz algebrai, topológiai, kombinatorikai, sőt sztochasztikus módszerek használhatók - e területek közt a hangsúly a hallgató érdeklődésének megfelelően változtatható.