Constructibility and decidability versus domain independence and absoluteness

We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and domain independence of queries in database theory. Our framework and results suggest that domain-independence and absoluteness might be the key notions in a general theory of constructibility, predicativity, and computability.

• Type: Journal
• Year: 2008
• Where: TCS
• Authors: Arnon Avron
• Keywords: Effective Structures, TCS 2008, Theoretical Computer Science, Theory, Unified Framework