Personal tools
You are here: Home Events Floris Geerts

Floris Geerts

Title: Logic and Cut & Paste

Abstract:
In the talk I outline some results and open problems
related to the expressibility of topological properties
in first-order logic.

Document Actions