We introduce a general framework to prove undecidability of fragments. This is applied to fragments of theories arising in algebra and recursion theory. For instance, the V3V-theories of the class of finite distributive lattices and of the p.o. of recursively enumerable many-one degrees are shown to be undecidable.
Presented by S. Burris.