Computable model theory Chapter uri icon