Constructibility and Decidability versus Domain Independence and Absoluteness
Graduate studies at Western
|Abstract||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)|
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Alf Onshuus (2006). Properties and Consequences of Thorn-Independence. Journal of Symbolic Logic 71 (1):1 - 21.
Harvey Friedman, A Complete Theory of Everything: Satisfiability in the Universal Domain Harvey M. Friedman October 10, 1999 Friedman@Math.Ohio-State.Edu. [REVIEW]
Reinhard Niederée (1992). What Do Numbers Measure? A New Approach to Fundamental Measurement. Mathematical Social Sciences 24:237-276.
Haim Judah & Saharon Shelah (1991). Forcing Minimal Degree of Constructibility. Journal of Symbolic Logic 56 (3):769-782.
Peter Koellner (2010). Strong Logics of First and Second Order. Bulletin of Symbolic Logic 16 (1):1-36.
Charles S. Chihara (1990). Constructibility and Mathematical Existence. Oxford University Press.
Itay Ben-Yaacov (2003). Discouraging Results for Ultraimaginary Independence Theory. Journal of Symbolic Logic 68 (3):846-850.
Added to index2009-04-13
Total downloads8 ( #131,909 of 739,139 )
Recent downloads (6 months)0
How can I increase my downloads?