Geometric Model Theory In Efficient Computability