The fixed point property in synthetic domain theory

10 December 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 152-160
https://doi.org/10.1109/lics.1991.151640

Abstract

We present an elementary axiomatisation of synthetic domain theory and show that it is sucient to deduce the xed point property and solve domain equations. Models of these axioms based on partial equivalence relations have received much attention, but there are also very simple sheaf models based on classical domain theory. In any case the aim of this paper is to show that an important theorem can be derived from an abstract axiomatisation, rather than from a particular model. Also, by providing a common framework in which both PER and classical models can be expressed, this work builds a bridge between the two.

Keywords

This publication has 5 references indexed in Scilit:

The Effective Topos
Published by Elsevier ,1982
Tripos theory
Mathematical Proceedings of the Cambridge Philosophical Society, 1980
The Logic of Topoi
Published by Elsevier ,1977
First Order Categorical Logic
Lecture Notes in Mathematics, 1977
Data Types as Lattices
SIAM Journal on Computing, 1976