decidable

Él investigó la undecidability de la teoría elemental de grupos lineales clásicos y demostró que la clase de álgebras localmente libre decidable tenía una teoría.
He investigated the undecidability of the elementary theory of classical linear groups and proved that the class of locally free algebras had a decidable theory.
Word of the Day
Christmas