Model Theory on the Tech Tree