Constructibility and Decidability versus Domain Independence and Absoluteness
by
Arnon Avron
| Citations: | 3 - 2 self |
BibTeX
@MISC{Avron_constructibilityand,
author = {Arnon Avron},
title = {Constructibility and Decidability versus Domain Independence and Absoluteness},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
