Constructibility and decidability versus domain independence and absoluteness

Arnon Avron

doi:10.1016/j.tcs.2007.12.008

Constructibility and decidability versus domain independence and absoluteness

Arnon Avron^*

^*Corresponding author for this work

School of Computer Science

Research output: Contribution to journal › Article › peer-review

18 Scopus citations

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.

Original language	English
Pages (from-to)	144-158
Number of pages	15
Journal	Theoretical Computer Science
Volume	394
Issue number	3
DOIs	https://doi.org/10.1016/j.tcs.2007.12.008
State	Published - 8 Apr 2008

Keywords

Absoluteness
Church thesis
Computability
Constructibility
Decidability
Domain-independence
Predicativity
Set theory

Access to Document

10.1016/j.tcs.2007.12.008

Cite this

@article{dbeb9c532cca463187e87e5f1ac5bba6,

title = "Constructibility and decidability versus domain independence and absoluteness",

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.",

keywords = "Absoluteness, Church thesis, Computability, Constructibility, Decidability, Domain-independence, Predicativity, Set theory",

author = "Arnon Avron",

year = "2008",

month = apr,

day = "8",

doi = "10.1016/j.tcs.2007.12.008",

language = "אנגלית",

volume = "394",

pages = "144--158",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "3",

}

TY - JOUR

T1 - Constructibility and decidability versus domain independence and absoluteness

AU - Avron, Arnon

PY - 2008/4/8

Y1 - 2008/4/8

N2 - 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.

AB - 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.

KW - Absoluteness

KW - Church thesis

KW - Computability

KW - Constructibility

KW - Decidability

KW - Domain-independence

KW - Predicativity

KW - Set theory

UR - http://www.scopus.com/inward/record.url?scp=40849145402&partnerID=8YFLogxK

U2 - 10.1016/j.tcs.2007.12.008

DO - 10.1016/j.tcs.2007.12.008

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:40849145402

SN - 0304-3975

VL - 394

SP - 144

EP - 158

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 3

ER -

Constructibility and decidability versus domain independence and absoluteness

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this