 Much of his work, during that time, was on first order logic and model theory.His son Tadeusz is also a mathematician working on differential geometry.With Krzysztof Kurdyka and Adam Parusinski, Tadeusz Mostowski solved René Thom's gradient conjecture in 2000.