Sciweavers

2 search results - page 1 / 1
» Constructibility and decidability versus domain independence...
Sort
View
TCS
2008
13 years 4 months ago
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 ...
Arnon Avron