@inproceedings{9517917013ee4db68164b417d11c22ac,
title = "Safety, absoluteness, and computability",
abstract = "The semantic notion of dependent safety is a common generalization of the notion of absoluteness used in set theory and the notion of domain independence used in database theory for characterizing safe queries. This notion has been used in previous works to provide a unified theory of constructions and operations as they are used in different branches of mathematics and computer science, including set theory, computability theory, and database theory. In this paper we provide a complete syntactic characterization of general first-order dependent safety. We also show that this syntactic safety relation can be used for characterizing the set of strictly decidable relations on the natural numbers, as well as for characterizing rudimentary set theory and absoluteness of formulas within it.",
keywords = "Absoluteness, Computability, Decidability, Dependent safety, Domain independence",
author = "Arnon Avron and Shahar Lev and Nissan Levi",
note = "Publisher Copyright: {\textcopyright} Arnon Avron, Shahar Lev, and Nissan Levi; licensed under Creative Commons License CC-BY.; 27th Annual EACSL Conference Computer Science Logic, CSL 2018 ; Conference date: 04-09-2018 Through 07-09-2018",
year = "2018",
month = aug,
day = "1",
doi = "10.4230/LIPIcs.CSL.2018.8",
language = "אנגלית",
isbn = "9783959770880",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Ghica, {Dan R.} and Achim Jung",
booktitle = "Computer Science Logic 2018, CSL 2018",
}