Logic

Research Frontiers in Metric Model Theory and Distances

Extension of classical model theory to metric spaces with distance-based formulations of logical satisfaction and definability.

All Logic PhD categories