Logically Presented Domains

Erik Palmgren and Viggo Stoltenberg-Hansen,

Proc. IEEE Symposium on Logic in Computer Science '95, Washington D.C., Computer Society Press, 1995, 455-463

Abstract. In this paper we connect the theory of Scott-Ershov domains to first order model theory. The completeness property of domains is related to the model-theoretic notion of saturation. In constraint programming this analogy is already used on the level of finite approximations. A simple relation to structures used in nonstandard analysis (ultrapowers, Fre´chet powers) is obtained. This leads to natural logical presentations of domain constructions such as function space, products and the Smyth power domain. Sufficient conditions on models for constructing function spaces are given.

Back to the list of publications.

Erik Palmgren, March 9, 1999.