Title: Local PDE with Applications to Modern Topological Logic