Roman Wencel uzyskał stopień doktora habilitowanego za osiągnięcie naukowe
Własności zbiorów definiowalnych w strukturach słabo o-minimalnych. Prace wchodzące w skład rozprawy habilitacyjnej:
[1] Weakly o-minimal non-valuational structures,
Ann. Pure Appl. Logic 154 (2008), 139-162.
[2] On expansions of weakly o-minimal
non-valuational structures by convex predicates,
Fund. Math. 202 (2009), 147-159.
[3] Weakly o-minimal expansions of ordered fields
