Applications of computability theory to prime models and differential geometry