Constructibility and Decidability versus Domain Independence and Absoluteness
We develop a uniﬁed framework for dealing with constructibility and absoluteness in set theory, decidability of relations in eﬀective 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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
A Complete Theory of Everything: Satisfiability in the Universal Domain Harvey M. Friedman October 10, 1999 Friedman@Math.Ohio-State.Edu. [REVIEW]Harvey Friedman - manuscript
What Do Numbers Measure? A New Approach to Fundamental Measurement.Reinhard Niederée - 1992 - Mathematical Social Sciences 24:237-276.
Forcing Minimal Degree of Constructibility.Haim Judah & Saharon Shelah - 1991 - Journal of Symbolic Logic 56 (3):769-782.
Strong Logics of First and Second Order.Peter Koellner - 2010 - Bulletin of Symbolic Logic 16 (1):1-36.
Discouraging Results for Ultraimaginary Independence Theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
A Complete Theory of Everything: Satisfiability in the Universal Domain.Harvey M. Friedman - unknown
Added to index2009-04-13
Total downloads8 ( #476,249 of 2,143,987 )
Recent downloads (6 months)0
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.