I may not like his commitment to set-theoretic model theory, but his use of it is extremely different from most mainstream analytic phil, in virtue of what is basically a subtractive mathematical reframing of Heidegger's ontological difference. The ontic only properly turns up in Logic of Worlds.
