Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Special Session Talk:
From Constructibility and Absoluteness to Computability and Domain Independence

Speaker: Arnon Avron
Presentation: cie.pdf


Godel's main contribution to set theory is his proof that GCH is consistent
with ZFC (assuming that ZF is consistent). For this proof he has introduced
the important ideas of constructibility of sets, and of absoluteness of
formulas. In this paper we show how these two ideas of Godel naturally
lead to a simple unified framework for dealing with computability of
functions and relations, domain independence of queries in relational
databases, and predicative set theory.

websites: Arnold Beckmann 2006-04-29 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by