The Expressivity of Quantifying over Regions

We categorize in recursion-theoretic terms the expressivity of a number of first-order languages that allow quantification over regions in Euclidean space. Specifically we show the following:

• Type: Journal
• Year: 2006
• Where: LOGCOM
• Authors: Ernest Davis
• Keywords: Euclidean Space, First-order Languages, LOGCOM 2006, Recursion-theoretic Terms